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