Double number of Ur/Web server threads

frameworks/Ur/urweb/setup.sh

@@ -5,4 +5,5 @@ ${URWEB_HOME}/bin/urweb -db "dbname=hello_world user=benchmarkdbuser password=be
 
 export LD_LIBRARY_PATH=${URWEB_HOME}/lib
 
+MAX_THREADS=$((2 * $MAX_THREADS))
 ./bench.exe -q -k -t ${MAX_THREADS} &

frameworks/Ur/urweb/setup_mysql.sh

@@ -5,4 +5,5 @@ export LD_LIBRARY_PATH=${URWEB_HOME}/lib
 
 ${URWEB_HOME}/bin/urweb -dbms mysql -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=${DBHOST}" bench
 
+MAX_THREADS=$((2 * $MAX_THREADS))
 ./bench.exe -q -k -t ${MAX_THREADS} &