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

neil_a_wilson
07.12.2006 7dc2e545c6e7546ddf8655e3bf26d146fc779edd
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -874,6 +874,10 @@
          throw new InitializationException(msgID, message);
        }
      }
      catch (InitializationException ie)
      {
        throw ie;
      }
      catch (Exception e)
      {
        assert debugException(CLASS_NAME, "startServer", e);