diff --git a/basice2e/run.sh b/basice2e/run.sh index 7764a139e46f0a85754c106bfa88055cb7ab5b3a..882912ba46f7c6bb4f3f8312fa23b4ca23a509eb 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -28,7 +28,7 @@ mkdir -p $CLIENTCLEAN # Start a user discovery bot server echo "STARTING UDB..." -UDBCMD="../bin/udb -v --config udb.yaml -l 1" +UDBCMD="../bin/udb --config udb.yaml -l 1" $UDBCMD >> $UDBOUT 2>&1 & PIDVAL=$! echo $PIDVAL >> results/serverpids