From dbebaba8b95f612741e91581693b738b492d5d18 Mon Sep 17 00:00:00 2001
From: dofl <dofl@users.noreply.github.com>
Date: Wed, 26 Jul 2017 07:53:38 +0200
Subject: [PATCH] switch PHP's process manager to on demand

merges #1216
---
 CHANGELOG.md | 2 +-
 setup/web.sh | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 86250c8..283f2e3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,7 +6,7 @@ In Development
 
 System:
 
-* Install PHP7 via a PPA.
+* Install PHP7 via a PPA. Switch to the on-demand process manager.
 
 Mail:
 
diff --git a/setup/web.sh b/setup/web.sh
index 0d94fcf..021a9b7 100755
--- a/setup/web.sh
+++ b/setup/web.sh
@@ -51,6 +51,10 @@ tools/editconf.py /etc/php/7.0/fpm/php.ini -c ';' \
 tools/editconf.py /etc/php/7.0/fpm/php.ini -c ';' \
         default_charset="UTF-8"
 
+# Switch from the dynamic process manager to the ondemand manager see #1216
+tools/editconf.py /etc/php/7.0/fpm/pool.d/www.conf -c ';' \
+	pm=ondemand
+
 # Bump up PHP's max_children to support more concurrent connections
 tools/editconf.py /etc/php/7.0/fpm/pool.d/www.conf -c ';' \
 	pm.max_children=8