273274275276277278279280281282283
break; case t_PAUSE: resource.pause(tasks); break; case t_SERIALIZE: resource.serialize(tasks); break; case t_REBOOT: resource.reboot(tasks); break; default: throw new ManageException("Unknown request");