Make para_server use the generic scheduling code.