roxen.pike -> core.pike Rev: server/server_core/core.pike:1.826 Rev: server/server_core/global_variables.pike:1.97 Rev: server/server_core/loader.pike:1.348 Rev: server/server_core/roxen.pike:1.826(DEAD) Rev: server/start:1.202