Update Context.java

This commit is contained in:
George Farrell
2018-05-20 23:36:53 +01:00
committed by GitHub
parent 01a12a50b5
commit c754cd2ef0
@@ -72,6 +72,13 @@ public class Context {
this.defaultErr = System.err;
}
public static double getJavaVersion() {
String version = System.getProperty("java.version");
int pos = version.indexOf('.');
pos = version.indexOf('.', pos+1);
return Double.parseDouble (version.substring (0, pos));
}
public static Context getInstance(ServerProvider serverProvider) {
return instance == null ? instance = new Context(serverProvider) : instance;
}