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

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