diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/boca-auth-runs | 2 | ||||
| -rw-r--r-- | tools/boca-outmanage | 7 |
2 files changed, 7 insertions, 2 deletions
diff --git a/tools/boca-auth-runs b/tools/boca-auth-runs index 00549b3..3155b90 100755 --- a/tools/boca-auth-runs +++ b/tools/boca-auth-runs @@ -66,6 +66,8 @@ if [ "$?" == "0" ]; then rm -f ${temp}.cookie.txt echo "" echo "authentication successful" + mkdir -p /root/submissions + echo -n $user > /root/submissions/user else echo "" echo "could not connect to server" diff --git a/tools/boca-outmanage b/tools/boca-outmanage index 054ecb7..58c8cfe 100644 --- a/tools/boca-outmanage +++ b/tools/boca-outmanage @@ -7,8 +7,11 @@ fi user="$1" if [ "$user" == "" ]; then - echo "parameter user missing. Usage: $0 <user> [<optional-server-address>] [<force-redo>]" - exit 1 + user=`cat /root/submissions/user 2>/dev/null` + if [ "$user" == "" ]; then + echo "parameter user missing. Usage: $0 <user> [<optional-server-address>] [<force-redo>]" + exit 1 + fi fi if [ "$2" != "" ]; then BOCASERVER=$2 |