| Revision 420,
497 bytes
checked in by speck, 4 years ago
(diff) |
|
Added pretty error pages. Renamed "public admin" pages to "info admin", and made "public admin" to be really public, i.e. no information leak but only logo. Zapped local HtmlPrintWriter? because Jabhts has it already and there's no need for code duplication. Fixed jannotemp.sh so it can use htmlparser 1.1.1 instead of python base html5lib.
|
-
Property svn:executable set to
*
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | if [ -e ../src/org/glimmerblocker/proxy ] # when executed from within IDEA |
|---|
| 4 | then |
|---|
| 5 | cd .. |
|---|
| 6 | fi |
|---|
| 7 | |
|---|
| 8 | CP= |
|---|
| 9 | for d in tmp/classes/production/* |
|---|
| 10 | do |
|---|
| 11 | CP="$CP:$d" |
|---|
| 12 | done |
|---|
| 13 | for f in lib-jars/*.jar ../Externals/jabhts/HtmlParser/jar-lib/*.jar |
|---|
| 14 | do |
|---|
| 15 | CP="$CP:$f" |
|---|
| 16 | done |
|---|
| 17 | |
|---|
| 18 | java -Djava.awt.headless=true \ |
|---|
| 19 | -Xms120m \ |
|---|
| 20 | -Xmx230m \ |
|---|
| 21 | -classpath "$CP" \ |
|---|
| 22 | -Dfile.encoding=UTF-8 \ |
|---|
| 23 | -Dhtml5lib=1 \ |
|---|
| 24 | org.jabhts.translator.buildsystem.Builder \ |
|---|
| 25 | "$@" \ |
|---|
| 26 | ./src \ |
|---|
| 27 | ./src/org/glimmerblocker/proxy \ |
|---|
| 28 | org.glimmerblocker.proxy |
|---|
| 29 | |
|---|
| 30 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
