0) ) { header('Location: ' . $_SESSION['auth_return']); } echo "Authenticated\n"; exit(); } else { $auth_fail=TRUE; } } ?>