if (file_exists($pid_file)) { $pid = file_get_contents($pid_file); $pid = intval($pid); if ($pid > 0 && posix_kill($pid, 0)) { exit("the server is already started!\n"); } } start_and_wait($param, 15); exit; break; case 'stop': stop_and_wait($param, 5); exit; break; case 'restart': stop_and_wait($param, 5); start_and_wait($param, 15); exit; break; case 'reload': $pid = @file_get_contents($pid_file); if (empty($pid)) { exit("Server is not running!\n"); } if (!posix_kill($pid, 0)) { exit("Server is not running!\n"); } posix_kill($pid, SIGUSR1); echo "Server reload ok!\n"; break; case 'status':
} } switch ($cmd) { case 'start': $worker_user = isset($argv[2]) ? $argv[2] : ''; Man\Core\Master::run($worker_user); break; case 'stop': $pid = @file_get_contents(WORKERMAN_PID_FILE); if (empty($pid)) { exit("[33;40mWorkerman not running?[0m\n"); } stop_and_wait(); break; case 'restart': stop_and_wait(); $worker_user = isset($argv[2]) ? $argv[2] : ''; Man\Core\Master::run(); break; case 'reload': $pid = @file_get_contents(WORKERMAN_PID_FILE); if (empty($pid)) { exit("[33;40mWorkerman not running?[0m\n"); } posix_kill($pid, SIGHUP); echo "reload Workerman\n"; break; case 'kill': force_kill(); force_kill(); break;