Add the No Docs page if there are no root documents

James Moger

2014-02-28 c8a833a2ea7d03a5c29ebcd1cf7e2e05c96f3e70

 src/main/java/com/gitblit/auth/WindowsAuthProvider.java

@@ -158,9 +158,11 @@
             groupNames.add(group.getFqn());
        }

        if (groupNames.contains("BUILTIN\\Administrators")) {
           // local administrator
           user.canAdmin = true;
          if (settings.getBoolean(Keys.realm.windows.permitBuiltInAdministrators, true)) {
             if (groupNames.contains("BUILTIN\\Administrators")) {
                // local administrator
                user.canAdmin = true;
             }
        }

        // TODO consider mapping Windows groups to teams