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

jcduff
23.04.2008 f73b655466092169abac34833fb628fce1fcdebe
opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java
@@ -2161,7 +2161,7 @@
        ServerDescriptor.ServerProperty property;
        if (isSecure)
        {
          property = ServerDescriptor.ServerProperty.LDAPS_PORT;
          property = ServerDescriptor.ServerProperty.ADMIN_PORT;
        }
        else
        {
@@ -2178,7 +2178,7 @@
          ADSContext.ServerProperty adsProperty;
          if (isSecure)
          {
            adsProperty = ADSContext.ServerProperty.LDAPS_PORT;
            adsProperty = ADSContext.ServerProperty.ADMIN_PORT;
          }
          else
          {