diff options
| author | Bruno Cesar Ribas <brunoribas@gmail.com> | 2019-05-25 12:06:19 +0000 |
|---|---|---|
| committer | Bruno Cesar Ribas <brunoribas@gmail.com> | 2019-05-25 12:06:19 +0000 |
| commit | 6b2aa24a9d0b8fdead344f6bd8936e381400eab1 (patch) | |
| tree | e7864561ae40aff0df3c9bf0297a96affdb1c382 /tools | |
| parent | 897384ab2441da9c5d8c595cf65987fa6f027f0f (diff) | |
| parent | f74c0fdddbdb768a2ec50e9a9f165887cc6f51e1 (diff) | |
| download | boca-6b2aa24a9d0b8fdead344f6bd8936e381400eab1.tar.gz boca-6b2aa24a9d0b8fdead344f6bd8936e381400eab1.zip | |
Merge branch 'develc' into devel
Signed-off-by: Bruno Cesar Ribas <brunoribas@gmail.com>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/boca-submit-run-aux | 2 |
1 files changed, 1 insertions, 1 deletions
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 |