diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-11 16:22:56 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-11 16:22:56 +0000 |
| commit | cd3d00b6b76c96076202bcd63867c515e25b7794 (patch) | |
| tree | 08dabc574fc5713a157013323dae465468762222 /tools/boca-submit-run-root | |
| parent | 2335bd3439bba04867b91ceae7abd36b5a913129 (diff) | |
| download | boca-cd3d00b6b76c96076202bcd63867c515e25b7794.tar.gz boca-cd3d00b6b76c96076202bcd63867c515e25b7794.zip | |
bug fixes
Diffstat (limited to 'tools/boca-submit-run-root')
| -rwxr-xr-x | tools/boca-submit-run-root | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/boca-submit-run-root b/tools/boca-submit-run-root index eb2528f..ad94aad 100755 --- a/tools/boca-submit-run-root +++ b/tools/boca-submit-run-root @@ -10,9 +10,10 @@ fi if [ "$1" == "list" ]; then if [ -d /root/submissions ]; then touch /root/submissions/placeholder.bocarun + touch /root/submissions/placeholder.bocarun.processed if [ "$2" == "old" ]; then for i in `ls /root/submissions/*.bocarun.processed`; do - if [ "$i" != "/root/submissions/placeholder.bocarun" ]; then + if [ "$i" != "/root/submissions/placeholder.bocarun.processed" ]; then prob=`grep ^problem $i` lang=`grep ^language $i` nam=`grep ^name $i` |