first_time = 0;
}
+ if(how_long>0) {
+ surf_timer_resource->extension_public->set(surf_get_clock()+how_long,
+ NULL,NULL);
+ }
sd_global->watch_point_reached = 0;
/* explore the ready tasks */
while (elapsed_time >= 0.0 &&
(how_long < 0.0 || total_time < how_long) &&
!sd_global->watch_point_reached) {
+ /* dumb variables */
+ void *fun = NULL;
+ void *arg = NULL;
+
DEBUG1("Total time: %f", total_time);
changed_tasks[changed_task_number] = NULL;
}
}
+
+ while (surf_timer_resource->extension_public->get(&fun,(void*)&arg)) {
+ }
}
/* we must reset every task->state_changed */