diff options
| author | cassio <cassiopc@gmail.com> | 2013-09-14 00:08:21 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2013-09-14 00:08:21 +0000 |
| commit | b120cc197f0a598d7a8c5f721fcba2aacb24b77b (patch) | |
| tree | b095aefa04859d219b9856fe6fe4c3f27df667ee /doc/problemexamples/problemtemplate/run | |
| parent | db3581fbe2ec8d26ab2430b583205360e22a6e83 (diff) | |
| download | boca-b120cc197f0a598d7a8c5f721fcba2aacb24b77b.tar.gz boca-b120cc197f0a598d7a8c5f721fcba2aacb24b77b.zip | |
fix java scripts for running with multiple inputs/outputs
Diffstat (limited to 'doc/problemexamples/problemtemplate/run')
| -rwxr-xr-x | doc/problemexamples/problemtemplate/run/java | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/problemexamples/problemtemplate/run/java b/doc/problemexamples/problemtemplate/run/java index d6a73a5..c7eb74a 100755 --- a/doc/problemexamples/problemtemplate/run/java +++ b/doc/problemexamples/problemtemplate/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 |