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

Matthew Swift
04.15.2013 aa2e7c321ca330792a6c2a7c41efd923bb1270af
opends/src/server/org/opends/server/protocols/http/HTTPConnectionHandler.java
@@ -353,14 +353,12 @@
    if (connMonitor != null)
    {
      String lowerName = toLowerCase(connMonitor.getMonitorInstanceName());
      DirectoryServer.deregisterMonitorProvider(lowerName);
      DirectoryServer.deregisterMonitorProvider(connMonitor);
    }
    if (statTracker != null)
    {
      String lowerName = toLowerCase(statTracker.getMonitorInstanceName());
      DirectoryServer.deregisterMonitorProvider(lowerName);
      DirectoryServer.deregisterMonitorProvider(statTracker);
    }
  }