- implemented fix for Ubuntu 14.04 with fpm pool reload handling

Marius Cramer

2014-04-23 1050bda15dc9fbdc6756bc4ff058a7a8ab92fe1b

- implemented fix for Ubuntu 14.04 with fpm pool reload handling

 server/mods-available/web_module.inc.php

@@ -235,6 +235,17 @@
        } else {
            $path_parts = pathinfo($init_script);
            $initcommand = $app->system->getinitcommand($path_parts['basename'], $action, $path_parts['dirname']);
			
            if($action == 'reload') {
                if(file_exists('/etc/os-release')) {
                    $tmp = file_get_contents('/etc/os-release');
                    if(preg_match('/^ID=ubuntu/m', $tmp) && preg_match('/^VERSION_ID="14\.04"/m', $tmp)) {
                        $initcommand = '/sbin/start-stop-daemon --stop --signal USR2 --quiet --pidfile /var/run/php5-fpm.pid --name php5-fpm';
                    }
                    unset($tmp);
                }
            }
		
        }

        $retval = array('output' => '', 'retval' => 0);