diff --git a/auth.inc.php b/auth.inc.php
index 26bdb4f8..9a19018d 100644
--- a/auth.inc.php
+++ b/auth.inc.php
@@ -31,6 +31,7 @@ if (isset($_POST["server"])) {
 }
 
 function auth_error() {
+	global $ignore;
 	$username = $_SESSION["usernames"][$_GET["server"]];
 	if ($_POST["token"] && !isset($username)) {
 		$_POST["token"] = token();