2025-08-24 18:57 CEST

spring: develop 096cb26f Diff ] Back to Repository ]
Author Committer Branch Timestamp Parent
hoijui hoijui develop 2009-09-11 11:11:14 develop e7effbc7
Changeset AI: Java: introduce JVM debug properties
the jvm.properties file now allows a bit more fine-tuning
in respect to which options are used:
There are two ways of specifying basic JVM options in this file:
1) jvm.option.x
2) jvm.option.debug.x
The first kind is always used, while the second is only used
if either one of the following is true:
* jvm.useDebugOptions is set to true
* jvm.useDebugOptions is set to auto, and a debug build
  of the Java AI Interface native library is in use
possible values: auto, true, false
default: auto
;jvm.useDebugOptions=true
mod - AI/Interfaces/Java/data/jvm.properties Diff ] File ]
mod - AI/Interfaces/Java/src/native/JavaBridge.c Diff ] File ]