def __init__(self, event_creator): global _evt_scheduler _evt_scheduler = self core.set_event_scheduler(self) self.time_chunk = 1000 * core.get_local_min_delay() self.upto_time = core.get_now() + self.time_chunk self.event_creator = greenlet(event_creator) self.event_creator.switch()
def schedule_process(self, process, delay = core.get_local_min_delay() ): """ Schedules a process by calling proc_schedule function of process manager """ self.pm.proc_schedule(process)
def schedule_process(self, process, delay=core.get_local_min_delay()): """ Schedules a process by calling proc_schedule function of process manager """ self.pm.proc_schedule(process)