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