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

jvergara
16.53.2008 83e17e3a3f12fca9aff4de972b38ba3bd17388e3
opendj-sdk/opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java
@@ -1496,6 +1496,7 @@
          ADSContext adsContext = new ADSContext(ctx);
          TopologyCache cache = new TopologyCache(adsContext,
              getTrustManager());
          cache.getFilter().setSearchMonitoringInformation(false);
          cache.reloadTopology();
          return cache;
        }