From f74c0fdddbdb768a2ec50e9a9f165887cc6f51e1 Mon Sep 17 00:00:00 2001 From: cassio Date: Thu, 8 Nov 2018 16:11:19 +0100 Subject: fix score, submissions and cookies --- tools/boca-submit-run-aux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/boca-submit-run-aux') diff --git a/tools/boca-submit-run-aux b/tools/boca-submit-run-aux index 0e9c720..c122a0a 100755 --- a/tools/boca-submit-run-aux +++ b/tools/boca-submit-run-aux @@ -87,7 +87,7 @@ if [ "$?" == "0" ]; then # else # echo "$BOCASERVER : run $uniq dateerr $dateerr : error to upload the run, will NOT try again, check details at /tmp/boca-submit.err" cat ${temp}.out > /tmp/boca-submit.err - chmod 400 /tmp/boca-submit.err + chmod 444 /tmp/boca-submit.err # fi rm -f ${temp}.out exit 4 -- cgit v1.2.3