From fcfbafa12976bfda550f22d6612310a483acd76d Mon Sep 17 00:00:00 2001
From: Disassembler <disassembler@dasm.cz>
Date: Wed, 20 Sep 2017 14:15:57 +0200
Subject: [PATCH] Add ugly workaround for #3

---
 01-basic.sh | 3 +++
 1 file changed, 3 insertions(+)

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