public function execute() { parent::execute(); $server = new ServerEditor($this->serverID); if ($server->serverID == 0) { throw new IllegalLinkException(); } if (!WCF::getUser()->getPermission('admin.bash.canDeleteServers')) { throw new PermissionDeniedException(); } ServerEditor::remove($server->serverID); ServerEditor::clearCache(); HeaderUtil::redirect('index.php?page=ServerList&packageID=' . PACKAGE_ID . SID_ARG_2ND_NOT_ENCODED); }