Thu, 01 Nov 2007 09:42:33 +0100Fixing handling of task initialisation.
mario [Thu, 01 Nov 2007 09:42:33 +0100] rev 75
Fixing handling of task initialisation.