optimize Server.cleanup_procs