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

kenneth_suter
06.06.2007 15f4c4af976c56c76be7f45d306618f56157461c
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/BuildInformation.java
@@ -101,7 +101,7 @@
      }
    } catch (IOException e) {
      throw new ApplicationException(ApplicationException.Type.START_ERROR,
              "Error creating build info", e);
              getMsg("error-creating-build-info"), e);
    } finally {
      if (is != null) {
        try {
@@ -353,10 +353,14 @@
    for (String prop : props) {
      if (null == values.get(prop)) {
        throw new ApplicationException(ApplicationException.Type.TOOL_ERROR,
                "'" + prop + "' could not be determined", null);
                getMsg("error-prop-value", prop), null);
      }
    }
  }
  static private String getMsg(String key, String... args) {
    return ResourceProvider.getInstance().getMsg(key, args);
  }
}