mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-20 19:14:38 +02:00
Merge
This commit is contained in:
commit
1d7f54e2f3
34 changed files with 813 additions and 73 deletions
|
@ -1031,9 +1031,10 @@ public:
|
|||
product(bool, CreateCoredumpOnCrash, true, \
|
||||
"Create core/mini dump on VM fatal error") \
|
||||
\
|
||||
product(uintx, ErrorLogTimeout, 2 * 60, \
|
||||
product(uint64_t, ErrorLogTimeout, 2 * 60, \
|
||||
"Timeout, in seconds, to limit the time spent on writing an " \
|
||||
"error log in case of a crash.") \
|
||||
range(0, (uint64_t)max_jlong/1000) \
|
||||
\
|
||||
product_pd(bool, UseOSErrorReporting, \
|
||||
"Let VM fatal error propagate to the OS (ie. WER on Windows)") \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue