mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a421351e | patch | commit | ignore whitespace
Ludovic Poitou
22.03.2011 0aecdba52a23bebac9a3b572dc3b1507c8e0af55 
Fix minor issue detected by FindBugs.
1 files modified
2 ■■■■■ changed files
opends/src/server/org/opends/server/loggers/AbstractTextAccessLogPublisher.java 2 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/loggers/AbstractTextAccessLogPublisher.java


@@ -659,7 +659,7 @@


      }




      // Check group membership.


      if (userIsNotMemberOf.length > 0 || userIsNotMemberOf.length > 0)


      if (userIsNotMemberOf.length > 0 || userIsMemberOf.length > 0)


      {


        if (!filterUserIsMemberOf(connection))


        {