diff --git a/01-basic.sh b/01-basic.sh index d0ffeb6..a241e97 100755 --- a/01-basic.sh +++ b/01-basic.sh @@ -103,6 +103,9 @@ mkdir /etc/nginx/apps-available /etc/nginx/apps-enabled cp ${SOURCE_DIR}/basic/etc/nginx/nginx.conf /etc/nginx/nginx.conf cp ${SOURCE_DIR}/basic/etc/nginx/sites-available/default /etc/nginx/sites-available/default +# Workaround for web2py shutdown problem, see https://github.com/web2py/web2py/issues/1769 +sed -i 's|QUIT/30|QUIT/5|' /usr/share/uwsgi/init/specific_daemon + # Copy Portal resources cp -r ${SOURCE_DIR}/basic/srv/portal /srv/portal chown -R www-data:www-data /srv/portal