diff options
| author | Teddy Wing | 2018-11-20 05:55:07 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-20 05:55:07 +0100 |
| commit | beefd553e519b9854f0c9f46872a0be652a21884 (patch) | |
| tree | 54c75a536e98c3f6011adcc2f3ba45ee2d30dbf7 | |
| parent | 7b5863020e3d27173c82acc69fc71b62397f5c59 (diff) | |
| download | dome-key-web-beefd553e519b9854f0c9f46872a0be652a21884.tar.bz2 | |
post-deploy.sh: Restart FastCGI processes
| -rwxr-xr-x | scripts/post-deploy.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/post-deploy.sh b/scripts/post-deploy.sh index 4d3fd9c..927ed70 100755 --- a/scripts/post-deploy.sh +++ b/scripts/post-deploy.sh @@ -15,6 +15,13 @@ mv "$REMOTE_PUBLIC_WWW/license" "$REMOTE_PUBLIC_WWW/license.fcgi" mv production-config/.htaccess "$REMOTE_PUBLIC_WWW" +echo 'Restarting FastCGI scripts...' +set +e +killall fulfillment.fcgi +killall license.fcgi +set -e + + echo 'Provisioning...' sh "$HOME/scripts/provision.sh" |