From aecd4f8323d3481b9372407798ce2023a4ef87c0 Mon Sep 17 00:00:00 2001
From: Richard Frith-Macdonald <rfm@gnu.org>
Date: Fri, 8 Nov 2019 09:22:36 +0000
Subject: [PATCH] reset inter-launch delay when a task is launched from the
 Console

---
 EcCommand.m | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/EcCommand.m b/EcCommand.m
index 0407125..224b0e9 100644
--- a/EcCommand.m
+++ b/EcCommand.m
@@ -1408,6 +1408,7 @@ NSLog(@"Problem %@", localException);
                           found = YES;
 			  if (nil != l)
 			    {
+			      [l resetDelay];
 			      [l setWhen: [NSDate date]];
 			      [l setShutdown: NO];
 			    }
@@ -1438,6 +1439,7 @@ NSLog(@"Problem %@", localException);
 				  l = [LaunchInfo existing: key];
 				  if (nil != l)
 				    {
+				      [l resetDelay];
 				      [l setWhen: [NSDate date]];
 				      [l setShutdown: NO];
 				    }