Marius Cramer
2014-04-23 1050bda15dc9fbdc6756bc4ff058a7a8ab92fe1b
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);