mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-26 14:24:46 +02:00
8002078: hs_err_pid file should report full JDK version string
Reviewed-by: dholmes, sspitsyn, kmo
This commit is contained in:
parent
772e0e748d
commit
ff6a68b801
5 changed files with 36 additions and 1 deletions
|
@ -75,6 +75,7 @@ class JDK_Version VALUE_OBJ_CLASS_SPEC {
|
|||
|
||||
static JDK_Version _current;
|
||||
static const char* _runtime_name;
|
||||
static const char* _runtime_version;
|
||||
|
||||
// In this class, we promote the minor version of release to be the
|
||||
// major version for releases >= 5 in anticipation of the JDK doing the
|
||||
|
@ -189,6 +190,13 @@ class JDK_Version VALUE_OBJ_CLASS_SPEC {
|
|||
_runtime_name = name;
|
||||
}
|
||||
|
||||
static const char* runtime_version() {
|
||||
return _runtime_version;
|
||||
}
|
||||
static void set_runtime_version(const char* version) {
|
||||
_runtime_version = version;
|
||||
}
|
||||
|
||||
// Convenience methods for queries on the current major/minor version
|
||||
static bool is_jdk12x_version() {
|
||||
return current().compare_major(2) == 0;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue