From 7fa6118e55ebddd5c54ceb0581e35ecfe4ba612f Mon Sep 17 00:00:00 2001
From: "K. Noel Belcourt" <kbelco@sandia.gov>
Date: Tue, 18 Sep 2007 03:27:48 +0000
Subject: [PATCH] A minor optimization to eliminate two OS calls (one to times,
 one to kill).  Now all expired processes are killed in one place.  If the
 select command times out, I set each processes start_time to zero to ensure
 it is picked up as an expired process.

[SVN r39361]
---
 src/engine/execunix.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/engine/execunix.c b/src/engine/execunix.c
index cc39313dc..603e3f312 100644
--- a/src/engine/execunix.c
+++ b/src/engine/execunix.c
@@ -433,10 +433,7 @@ execwait()
         if (0 == ret) {
             /* select timed out, all processes have expired, kill them */
             for (i=0; i<globs.jobs; ++i) {
-                if (0 < cmdtab[i].pid) {
-                    clock_t current = times(&buf);
-                    kill(cmdtab[i].pid, SIGKILL);
-                }
+                cmdtab[i].start_time = 0;
             }
             /* select will wait until io on a descriptor or a signal */
             populate_file_descriptors(&fd_max, &fds);