Improve restart

ChangeLog

@@ -1,3 +1,10 @@
+2018-05-10  Richard Frith-Macdonald <rfm@gnu.org>
+
+        * Command.m:
+	* EcCommand.m:
+	On restart of the Command server, lanch the new copy after half a
+	second rather than the normal 30 seconds.
+
 2018-04-05  Richard Frith-Macdonald <rfm@gnu.org>
 
 	* EcCommand.m: Do not try to compress old debug files if there is

Command.m

@@ -158,6 +158,13 @@ main(int argc, char *argv[])
                 {
                   done = YES;
                 }
+              else if (255 == ([t terminationStatus] & 255))
+                {
+                  /* A 'restart' uses this termination status ... try
+                   * to do it promptly.
+                   */
+                  [NSThread sleepForTimeInterval: 0.5];
+                }
               else
                 {
                   /* Subprocess died ... try to restart after 30 seconds

EcCommand.m

@@ -1202,7 +1202,7 @@ static NSString*	cmdWord(NSArray* a, unsigned int pos)
 			    localException);
 			}
 		      NS_ENDHANDLER
-		      exit(1);          // Watcher should restart us
+		      exit(-1);          // Watcher should restart us
 		    }
 		  else
 		    {