diff options
Diffstat (limited to 'deploy.sh')
-rwxr-xr-x | deploy.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ #!/bin/bash echo 'Deploying...' +./init.sh if [ -f "${HOME}/rse_server.pid" ] then pkill $(cat ${HOME}/rse_server.pid) |