diff options
author | Jaikiran Pai <jaikiran@apache.org> | 2022-12-11 08:16:41 +0530 |
---|---|---|
committer | Jaikiran Pai <jaikiran@apache.org> | 2022-12-11 13:43:58 +0530 |
commit | 82c70f3202d5aec4d99fa3b6314ba4a6c338cd94 (patch) | |
tree | 2cfb83174fb7255f7b16bd3419f1f892bc8eac55 /build.xml | |
parent | 7601bf1767a0c191ff22f661c8fde97302d0cd3a (diff) | |
download | ant-82c70f3202d5aec4d99fa3b6314ba4a6c338cd94.tar.gz |
redo security manager setting to allow calling System.setSecurityManager at runtime
- Reverts the changes done to launch scripts which were checking for the Java runtime version to decide whether or not to set java.security.manager=allow
- Introduces a new "allow" Java class (in unnamed package) as a workaround to allow setting java.security.manager=allow on (older) versions of Java which don't
recognize "allow" as a predefined text for that property
- Packages the "allow" Java class into ant-launcher.jar, which is the same jar file containing the org.apache.tools.ant.launch.Launcher class that gets launched
from the Ant startup scripts
- Sets java.security.manager=allow explicitly in Ant launch scripts, irrespective of which Java runtime version is being used
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -347,7 +347,10 @@ </selector> <selector id="ant.launcher"> - <filename name="${ant.package}/launch/"/> + <or> + <filename name="${ant.package}/launch/"/> + <filename name="allow.*"/> + </or> </selector> <selector id="ant.core"> |