Improvement for web_module.inc.php as it may (re)start a non-running PHP FPM master. See merge request !737