270271272273274275276277278279280
break; case t_SHUTDOWN_SAVE: resource.shutdownSave(tasks); break; case t_PAUSE: resource.pause(tasks); break; case t_SERIALIZE: resource.serialize(tasks); break; case t_REBOOT: