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