mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Jean-Noel Rouvignac
11.18.2014 ba07fc549fdcfe6d30524daf17ad33832b0efc75
opendj3-server-dev/src/server/org/opends/server/loggers/DebugLogPublisher.java
@@ -135,7 +135,9 @@
      {
        int clipPoint = searchName.lastIndexOf('$');
        if (clipPoint == -1)
        {
          clipPoint = searchName.lastIndexOf('.');
        }
        if (clipPoint != -1)
        {
          searchName = searchName.substring(0, clipPoint);