Changeset 39361

Timestamp:

Sep 18, 2007, 3:27:48 AM (15 years ago)

Author:

Noel Belcourt

Message:

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.

(No files)