if (!$obj_name_server_group->verify_empty()) { log_write("error", "process", "The requested server group (" . $obj_name_server_group->id . ") is not empty, thus cannot be deleted. Make sure all members are assigned elsewhere first."); return 0; } /* Process Data */ if (error_check()) { $_SESSION["error"]["form"]["name_server_group_delete"] = "failed"; header("Location: ../index.php?page=servers/group-delete.php&id=" . $obj_name_server_group->id . ""); exit(0); } else { // clear error data error_clear(); /* Delete server group */ $obj_name_server_group->action_delete(); /* Return */ header("Location: ../index.php?page=servers/groups.php"); exit(0); } // if valid data input } else { // user does not have permissions to access this page. error_render_noperms(); header("Location: ../index.php?page=message.php"); exit(0); }