Merge pull request #1619 from achlipala/master

Ur/Web version upgrade & change to number of server threads

frameworks/Ur/urweb/install.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-VERSION=20150412
+VERSION=20150520
 COMPILER=${IROOT}/urweb
 
 RETCODE=$(fw_exists $COMPILER)

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} &