Gaetan and myself noticed that sometimes stopping the server takes a long t...

Fabio Pistolesi

17.23.2015 6d4aa0fb759905a15819212f55230472f21440e0

 opendj-server-legacy/src/main/java/org/opends/server/extensions/DiskSpaceMonitor.java

@@ -494,6 +494,5 @@
        }
      }
    }
    DirectoryServer.deregisterMonitorProvider(this);
  }
}