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

gbellato
20.04.2007 c08575b5d155b34529c402d7e5398e77abc49117
opends/src/server/org/opends/server/loggers/TextErrorLogPublisher.java
@@ -194,6 +194,10 @@
          defaultSeverities.add(Severity.SEVERE_ERROR);
          defaultSeverities.add(Severity.SEVERE_WARNING);
        }
        else if (defSev.toString().equalsIgnoreCase(LOG_SEVERITY_NONE))
        {
          // don't add any severity
        }
        else
        {
          Severity errorSeverity =
@@ -424,6 +428,10 @@
          defaultSeverities.add(Severity.SEVERE_ERROR);
          defaultSeverities.add(Severity.SEVERE_WARNING);
        }
        else if (defSev.toString().equalsIgnoreCase(LOG_SEVERITY_NONE))
        {
          // don't add any severity
        }
        else
        {
          Severity errorSeverity =