Tue, 11 Mar 2008 12:44:02 +0100fixed short process wainting bug. Seems wait() fail when process already finisshed... TO BE CONFIRMED.
greg [Tue, 11 Mar 2008 12:44:02 +0100] rev 130
fixed short process wainting bug. Seems wait() fail when process already finisshed... TO BE CONFIRMED.