beremiz

fixed short process wainting bug. Seems wait() fail when process already finisshed... TO BE CONFIRMED.

2008-03-11, greg
9af34a1d33b7
fixed short process wainting bug. Seems wait() fail when process already finisshed... TO BE CONFIRMED.
[TOPOLOGY]
NetName=None
Nodes=0x01
Node64Present=0x01
Node64Name=micromod
Node64DCFName=PEAK MicroMod.eds
EDSBaseName=eds