"servald stop" now checks monitor interface, and can kill the PID

even if there is no PID file, and the server process is stuck.
Now to find out how the process gets stuck to begin with ...
This commit is contained in:
gardners 2012-05-21 20:57:31 +09:30
parent 165ac03c7a
commit 740a64ed51

View File

@ -777,7 +777,9 @@ int app_server_stop(int argc, const char *const *argv, struct command_line_optio
cli_delim(":");
cli_puts(instancepath);
cli_delim("\n");
int pid = server_pid();
int pid=-1;
int status=server_probe(&pid);
if (pid<0) pid = server_pid();
// If there is no pidfile, then there is no server process to stop.
if (pid <= 0)
return 1;