fix timer thread double registration

This commit is contained in:
Matthew Flatt 2011-05-25 14:53:13 -06:00
parent d74810a08b
commit b548bc563c

View File

@ -8980,13 +8980,9 @@ static void *green_thread_timer(void *data)
ITimer_Data *itimer_data; ITimer_Data *itimer_data;
itimer_data = (ITimer_Data *)data; itimer_data = (ITimer_Data *)data;
scheme_init_os_thread();
while (1) { while (1) {
if (itimer_data->die) { if (itimer_data->die)
scheme_done_os_thread();
return NULL; return NULL;
}
usleep(itimer_data->delay); usleep(itimer_data->delay);
*(itimer_data->fuel_counter_ptr) = 0; *(itimer_data->fuel_counter_ptr) = 0;
*(itimer_data->jit_stack_boundary_ptr) = (uintptr_t)-1; *(itimer_data->jit_stack_boundary_ptr) = (uintptr_t)-1;