diff options
Diffstat (limited to 'doc/problemexamples/bits/run/java')
| -rwxr-xr-x | doc/problemexamples/bits/run/java | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/problemexamples/bits/run/java b/doc/problemexamples/bits/run/java index d6a73a5..c7eb74a 100755 --- a/doc/problemexamples/bits/run/java +++ b/doc/problemexamples/bits/run/java @@ -67,16 +67,18 @@ if [ "$1" == "" -o "$2" == "" -o "$3" == "" ]; then exit 43 fi if [ -r run.exe ]; then - mv run.exe run.jar + rm -f run.jar + cp run.exe run.jar fi if [ -r "$1" ]; then - mv "$1" run.jar + rm -f run.jar + cp "$1" run.jar fi if [ ! -r run.jar ]; then echo "ERROR: file run.jar not found - possible error during compilation" exit 1 fi -name="$1" +name=`basename "$1"` if [ "${name##*.}" == "class" -a "${name##*.}" == "CLASS" ]; then echo "WARNING: removing .class file extension" fi @@ -144,7 +146,8 @@ if [ ! -x \$java ]; then fi export CLASSPATH=.:./run.jar:$CLASSPATH $sf -r$nruns -t$time -T$ttime -istdin0 -F256 -u256 -ostdout0 -estderr0 -U$bocau -G$bocag -n0 -C. -f20000 -d20000000 -m20000000 -- \$java -Xmx${maxm}K -Xms${maxm}K "$name" -echo \$? > runit.retcode +retval=\$? +echo \$retval > runit.retcode if [ ! -d /bocajail ]; then /bin/umount /proc 2>/dev/null #/bin/umount /dev |