diff options
Diffstat (limited to 'tools/boca-outmanage')
| -rw-r--r-- | tools/boca-outmanage | 7 |
1 files changed, 5 insertions, 2 deletions
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 |