ooo340 / rhino /

Filename Size Date modified Message
676 B
2.0 KB
983 B
40.2 KB
The Scripting Framework makes use of the Rhino (
JavaScript interpreter, available under the Mozilla Public License 

In addition, to support the debugging of scripts contained in
documents, we have modified the Java source file

The Rhino source tarball is unpacked and patched with the modified code. The
Rhino Jar file (js.jar) is then built (download/ is unpacked and
built as part of this procesS) and delivered to the solver. The file
rhino1_5R5.patch contains the changes made in order to build Rhino. The patch
was generated using the command: diff -wurN
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.