Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
@echo off rem To install ESC/Java on a new machine, change the following three rem lines appropriately: set ESCJAVA_ROOT=C:\escjava set JAVA=C:\JDK1.3\bin\Java.exe set JAVA_STDLIB=C:\JDK1.3\jre\lib\rt.jar rem Some arguments to Simplify, passed via environment variables rem SIMPLIFY_BIN is a variable local to this batch file set SIMPLIFY_BIN=%ESCJAVA_ROOT%\bin\Simplify.exe if "%ESCJ_SIMPLIFY_ARGS%"=="" set ESCJ_SIMPLIFY_ARGS=-noprune if "%PROVER_KILL_TIME"=="" set PROVER_KILL_TIME=300 if "%ESCJ_STDARGS"=="" set ESCJ_STDARGS=-nowarn Deadlock rem ESCJ_ARGS is a variable local to this batch file set ESCJ_ARGS=%1 :getargs shift if "%1"=="" goto endGetargs set ESCJ_ARGS=%ESCJ_ARGS% %1 goto getargs :endGetargs rem USERPATH is a variable local to this batch file if "%CLASSPATH%"=="" set USERPATH=. if not "%CLASSPATH%"=="" set USERPATH=%CLASSPATH% "%JAVA%" -Dsimplify="%SIMPLIFY_BIN%" -classpath "%ESCJAVA_ROOT%\lib\escjava.zip;%JAVA_STDLIB%" escjava.Main -bootclasspath "%ESCJAVA_ROOT%\lib\specs;%JAVA_STDLIB%" -classpath %USERPATH% %ESCJ_STDARGS% %ESCJ_ARGS%