return;
}
+void
+resetTaskManagerAfterFork ()
+{
+ barf("resetTaskManagerAfterFork not implemented for SMP");
+}
+
#else
/************ THREADS version *****************/
{
}
+
+void
+resetTaskManagerAfterFork ()
+{
+ rts_n_waiting_tasks = 0;
+ taskCount = 0;
+}
#endif