diff --git a/js/headfoot.js b/js/headfoot.js
index 65e0e27f1ff8c68c63d23ac521c272f54d5874c6..42141aa3083b95f265aff8d4339a2f87d9bc7661 100755
--- a/js/headfoot.js
+++ b/js/headfoot.js
@@ -129,7 +129,11 @@ function head(){
                 headlink.innerHTML="Account";
                 headlink.href="/account/";
             }
-            console.log(user)
+            if(typeof user !== 'undefined'){
+                console.log(user)
+            }else{
+                console.log("user not defined")
+            }
             if(typeof user !== 'undefined'){ //user has priority
                 headlink.innerHTML="Logout";
                 headlink.href="/account/logout";