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

neil_a_wilson
01.18.2007 a49dee3f75d6e2548e9114d9495655dd56f06973
opends/src/server/org/opends/server/tasks/RestartTaskThread.java
@@ -84,7 +84,6 @@
   */
  public void run()
  {
    DirectoryServer.restart(CLASS_NAME, shutdownMessage);
  }
}