diff options
Diffstat (limited to 'scripts/run_server.sh')
| -rwxr-xr-x | scripts/run_server.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/run_server.sh b/scripts/run_server.sh index f3c520b..72183b4 100755 --- a/scripts/run_server.sh +++ b/scripts/run_server.sh @@ -3,7 +3,7 @@ source ../scripts/python_env export CMSRV_IP=$(<../scripts/host_ip) # screen will use $SHELL. screen -c ../scripts/screenrc -#valgrind --leak-check=no --show-error-list=yes --log-file=./server-valgrind.log ./src/fruits/cmsrv/cmsrv $@ +#valgrind --leak-check=full --show-error-list=yes --log-file=./server-valgrind.log ./src/fruits/cmsrv/cmsrv $@ #valgrind --log-file=./server-valgrind.log ./src/fruits/cmsrv/cmsrv $@ #./src/fruits/cmsrv/cmsrv $@ #cpulimit -l 1 ./src/fruits/cmsrv/cmsrv $@ |