From af137d65a58be8b92c39399d52a2228cf5dcb716 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 24 Aug 2010 14:41:37 +0000
Subject: remove the experimental GWT EditorApp

---
 src/ui/gwt/Editor-compile | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 src/ui/gwt/Editor-compile

(limited to 'src/ui/gwt/Editor-compile')

diff --git a/src/ui/gwt/Editor-compile b/src/ui/gwt/Editor-compile
deleted file mode 100644
index d054d16ad..000000000
--- a/src/ui/gwt/Editor-compile
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-APPDIR=`dirname $0`;
-GWT_DIR="/home/angelov/gwt-2.0.4"
-GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.jar"
-
-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-2.0.4"'
-  echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.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.Compiler -war "$APPDIR/www/editor" "$@" org.grammaticalframework.ui.gwt.EditorApp;
-- 
cgit v1.2.3