This file must be renamed to <code>reboot.php</code> before using and should be renamed or deleted after use.