switch PHP's process manager to on demand

merges #1216

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:
 

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