diff options
Diffstat (limited to 'src/server/gwt/Fridge-shell-external')
| -rw-r--r-- | src/server/gwt/Fridge-shell-external | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/server/gwt/Fridge-shell-external b/src/server/gwt/Fridge-shell-external new file mode 100644 index 000000000..b6261e63a --- /dev/null +++ b/src/server/gwt/Fridge-shell-external @@ -0,0 +1,17 @@ +#!/bin/sh + +APPDIR=`dirname $0`; + +if [ -z "$GWT_CLASSPATH" ]; then + echo 'ERROR: $GWT_CLASSPATH is not set' + echo 'Set $GWT_CLASSPATH to point to the GWT JAR files. For example:' + echo 'export GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2"' + echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar"' + exit 1 +fi + +if [ `uname` = "Darwin" ]; then + GWT_JAVA_OPTS=-XstartOnFirstThread +fi + +java $GWT_JAVA_OPTS -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_CLASSPATH" com.google.gwt.dev.GWTShell -out "$APPDIR/www" -noserver "$@" http://localhost:41296/gwt/www/se.chalmers.cs.gf.gwt.FridgeApp/Fridge.html; |