diff --git a/basice2e/run.sh b/basice2e/run.sh index 44e77296223e2f6558d5d095ce9aabd8f7c90d7f..d32a9223796724ff976329a1e8c1a463450fc5aa 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -22,7 +22,7 @@ fi NETWORKENTRYPOINT=$1 -DEBUGLEVEL=${DEBUGLEVEL-0} +DEBUGLEVEL=${DEBUGLEVEL-1} SERVERLOGS=results/servers