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();