Tweaks to checkUser code to reduce unnecessary signin boxes. two more icons

Author: Tim Berners-Lee

lib/signin.js

@@ -557,11 +557,15 @@ UI.widgets.checkUser = function(doc, setIt) {
                 }
               })
 
-              if (allUserHeaders.length === 0 && userMirror.uri !== UI.widgets.userCheckSite) {
-                   console.log("CheckUser: non-solid server" + userMirror  + ": trying "
-                      + UI.widgets.userCheckSite);
-                      UI.widgets.checkUser(
-                        kb.sym(UI.widgets.userCheckSite), setIt)
+              if (allUserHeaders.length === 0) {
+                  if  (userMirror.uri !== UI.widgets.userCheckSite) {
+                      console.log("CheckUser: non-solid server" + userMirror  + ": trying "
+                          + UI.widgets.userCheckSite);
+                      UI.widgets.checkUser(kb.sym(UI.widgets.userCheckSite), setIt)
+                        console.log("Fail to get username even from " + UI.widgets.userCheckSite)
+                  } else {
+                    setIt(null) // Fail, we have even tried the userCheckSite
+                  }
               } else {
         			    var username = allUserHeaders[0].value.trim();
         			    if (username.slice(0,4) !== 'dns:') { // dns: are pseudo-usernames from rww.io and don't count