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

Jean-Noel Rouvignac
31.49.2014 a1f030edc5d19b575470f0d79033d9f7471ab172
opendj3-server-dev/src/guitools/org/opends/guitools/controlpanel/task/RestartServerTask.java
@@ -136,7 +136,7 @@
            INFO_CTRL_PANEL_EQUIVALENT_CMD_TO_STOP_SERVER.get());
        dlg.setSummary(LocalizableMessage.raw(
            Utilities.applyFont(
            INFO_CTRL_PANEL_STOPPING_SERVER_SUMMARY.get().toString(),
            INFO_CTRL_PANEL_STOPPING_SERVER_SUMMARY.get(),
            ColorAndFontConstants.defaultFont)));
      }
    });
@@ -173,7 +173,7 @@
            dlg.setSummary(LocalizableMessage.raw(
                Utilities.applyFont(
                INFO_CTRL_PANEL_STARTING_SERVER_SUMMARY.get().toString(),
                INFO_CTRL_PANEL_STARTING_SERVER_SUMMARY.get(),
                ColorAndFontConstants.defaultFont)));
          }
        });