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

Nicolas Capponi
21.17.2016 58df6f18fee34844ed7a92a84379e3ec2bebed6d
opendj-server-legacy/src/main/java/org/opends/server/schema/JsonSchemaProvider.java
@@ -140,7 +140,7 @@
    }
    catch (DirectoryException e)
    {
      ccr.setResultCode(DirectoryServer.getServerErrorResultCode());
      ccr.setResultCode(DirectoryServer.getCoreConfigManager().getServerErrorResultCode());
      ccr.addMessage(e.getMessageObject());
    }
    finally