diff --git a/basice2e/run.sh b/basice2e/run.sh index 3fd01ffabbe1ca3b93b4809da15bcfdfc1274070..81638d1ce52943034a8553d2856c21dc27a8d4aa 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -150,7 +150,7 @@ then # Start a user discovery bot server echo "STARTING UDB..." - UDBCMD="../bin/udb --logLevel $DEBUGLEVEL --protoUserPath udbProto.json --config udb.yaml -l 1" + UDBCMD="../bin/udb --logLevel $DEBUGLEVEL --skipVerification --protoUserPath udbProto.json --config udb.yaml -l 1" $UDBCMD >> $UDBOUT 2>&1 & PIDVAL=$! echo $PIDVAL >> results/serverpids