mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/src/main/java/org/opends/server/extensions/DiskSpaceMonitor.java @@ -494,6 +494,5 @@ } } } DirectoryServer.deregisterMonitorProvider(this); } }