From 44d0feb575af511736d3424387e258d5eb04e131 Mon Sep 17 00:00:00 2001 From: gardners Date: Tue, 1 May 2012 07:05:02 +0930 Subject: [PATCH] improved "stop" functionality to better realise when a process is no longer running. --- commandline.c | 1 + 1 file changed, 1 insertion(+) diff --git a/commandline.c b/commandline.c index ce0467a2..57191d33 100644 --- a/commandline.c +++ b/commandline.c @@ -636,6 +636,7 @@ int app_server_stop(int argc, const char *const *argv, struct command_line_optio switch (errno) { case EINVAL: WHY("This is embarassing, but the operating system says I don't know how to send a signal."); break; case EPERM: WHY("I don't have permission to stop the Serval process. You could try using sudo, or run the stop command as the appropriate user."); break; + case ENOENT: case ESRCH: WHY("The process id I have recorded doesn't seem to exist anymore. Did someone kill the process without telling me?"); /* Clean up any lingering mess */ servalShutdownCleanly();