Move start delay into worker thread so that we don't needlessly leave hundreds of...
authorDavid E. Eisenstat <deisenst@cs.princeton.edu>
Tue, 27 Feb 2007 13:33:42 +0000 (13:33 +0000)
committerDavid E. Eisenstat <deisenst@cs.princeton.edu>
Tue, 27 Feb 2007 13:33:42 +0000 (13:33 +0000)
commit708b207674f8665b95df579e0e54181a7e557118
tree05d93f683cf568debd72bc5885eecdaa7cd79711
parent8f71408c6f62df2073767b0a4d51ed881641dee6
Move start delay into worker thread so that we don't needlessly leave hundreds of processes sleeping.
sliver_vs.py