@ -80,7 +80,7 @@ listener_thread_main(void *dummy)
generic_thread_initialize();
/* Set my priority */
// runtime_set_pthread_prio(pthread_self(), 0);
runtime_set_pthread_prio(pthread_self(), 1);
while (true) {
/*
@ -47,7 +47,7 @@ worker_thread_main(void *argument)
worker_thread_idx = *(int *)argument;
scheduler_runqueue_initialize();