diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run_server.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/run_server.sh b/scripts/run_server.sh index fde98ea..c2f74e5 100755 --- a/scripts/run_server.sh +++ b/scripts/run_server.sh @@ -2,6 +2,7 @@ export CURL_CA_BUNDLE=/etc/ssl/certs/ca-bundle.crt export PYTHONDONTWRITEBYTECODE=1 export PYTHONPATH=$HOME/c/camu/src/portal/vendor/vendor +# screen will use $SHELL. screen -c ../scripts/screenrc #./src/fruits/cmsrv/cmsrv $@ #valgrind --log-file=./server-valgrind.log ./src/fruits/cmsrv/cmsrv $@ |