WebGoat/webgoat/main/eclipse.bat
2008-01-12 17:42:01 +00:00

29 lines
442 B
Batchfile

ECHO OFF
IF NOT EXIST workspace GOTO UNPACK
set JAVAHOME=java
set PATH=%JAVAHOME%\bin;%PATH%
set ECLIPSE_HOME=eclipse
SET JAVA_OPTS=%JAVA_OPTS% -Xms128m -Xmx768m
%ECLIPSE_HOME%\eclipse.exe -data .\workspace
GOTO END
:UNPACK
ECHO *
ECHO *
ECHO *
ECHO *
ECHO * ERROR -- eclipse workspace is missing
ECHO *
ECHO *
ECHO *
ECHO *
ECHO * Use winzip to unzip Eclipse-Workspace.zip
ECHO *
ECHO *
ECHO *
PAUSE
:END