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

jvergara
08.18.2008 6c69fa6f56fef61d3eb50263686454f01c8620f9
opends/src/guitools/org/opends/guitools/controlpanel/task/DeleteBaseDNAndBackendTask.java
@@ -799,7 +799,8 @@
        public void run()
        {
          getProgressDialog().appendProgressHtml(
              Utilities.getProgressDone(ColorAndFontConstants.progressFont));
              Utilities.getProgressDone(ColorAndFontConstants.progressFont)+
              "<br>");
        }
      });
    }