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

Gaetan Boismal
09.44.2015 12034b057af590521acaf1d5dfa40725f0be842d
opendj-server-legacy/src/main/java/org/opends/server/util/BuildVersion.java
@@ -30,6 +30,7 @@
import static org.opends.server.config.ConfigConstants.*;
import java.io.BufferedReader;
import java.io.FileNotFoundException;
import java.io.FileReader;
import java.io.IOException;
import java.nio.file.Paths;
@@ -86,6 +87,10 @@
      }
      return valueOf(s);
    }
    catch (FileNotFoundException e)
    {
      throw new InitializationException(ERR_INSTANCE_NOT_CONFIGURED.get(), e);
    }
    catch (IOException e)
    {
      throw new InitializationException(ERR_BUILDVERSION_NOT_FOUND.get(buildInfo));