/shark/trunk/ports/first/first-server.c |
---|
41,6 → 41,7 |
PORT channel[2]; |
int FSF_register_shared_object_module(void) { |
fsf_register_shared_object(); |
return PISTAR_register_module(); |
} |
55,7 → 56,7 |
current_server=0; |
fsf_server_level = server_level; |
fsf_max_bw = max_bw; |
// shared_object_level = FSF_register_shared_object_module(); |
shared_object_level = FSF_register_shared_object_module(); |
return 0; |
366,6 → 367,10 |
break; |
} |
#ifdef FSF_DEBUG |
kern_printf("(FSF:Insert thread = %d to Server = %d)",*thread,server); |
#endif |
return 0; |
} |