From 7661c0ccdbdd27e7ded4b3e45baa0e300c5fa6e1 Mon Sep 17 00:00:00 2001
From: Daniel Winzen <d@winzen4.de>
Date: Sat, 26 Jan 2019 14:17:09 +0100
Subject: [PATCH] With more than 10 crashes within 10 minutes we should restart
 php

---
 var/www/setup.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/var/www/setup.php b/var/www/setup.php
index b8d324d..ed0589f 100644
--- a/var/www/setup.php
+++ b/var/www/setup.php
@@ -154,6 +154,8 @@ if(!@$version=$db->query("SELECT value FROM settings WHERE setting='version';"))
 pid = /run/php/php$version-fpm-$instance.pid
 error_log = /var/log/php$version-fpm-$instance.log
 process_control_timeout = 10
+emergency_restart_threshold = 10
+emergency_restart_interval = 10m
 include=/etc/php/$version/fpm/pool.d/$instance/*.conf
 ";
 			file_put_contents("/etc/php/$version/fpm/php-fpm-$instance.conf", $fpm_config);
@@ -165,6 +167,8 @@ include=/etc/php/$version/fpm/pool.d/$instance/*.conf
 pid = /run/php/php$version-fpm.pid
 error_log = /var/log/php$version-fpm.log
 process_control_timeout = 10
+emergency_restart_threshold = 10
+emergency_restart_interval = 10m
 include=/etc/php/$version/fpm/pool.d/*.conf
 ";
 		file_put_contents("/etc/php/$version/fpm/php-fpm.conf", $fpm_config);