Implements #11: reboot_server