mirror of
https://hub.spigotmc.org/stash/scm/spigot/buildtools.git
synced 2025-04-13 09:31:28 +00:00
#64: Remove workaround patch for OpenJDK linux distro bug
It's been resolved for quite some time now.
This commit is contained in:
parent
9741e4ae88
commit
907b7a0e92
1 changed files with 7 additions and 3 deletions
|
@ -996,17 +996,21 @@ public class Builder
|
||||||
}
|
}
|
||||||
if ( !pb.environment().containsKey( "_JAVA_OPTIONS" ) )
|
if ( !pb.environment().containsKey( "_JAVA_OPTIONS" ) )
|
||||||
{
|
{
|
||||||
String javaOptions = "-Djdk.net.URLClassPath.disableClassPathURLCheck=true";
|
String javaOptions = null;
|
||||||
|
|
||||||
for ( String arg : ManagementFactory.getRuntimeMXBean().getInputArguments() )
|
for ( String arg : ManagementFactory.getRuntimeMXBean().getInputArguments() )
|
||||||
{
|
{
|
||||||
if ( arg.startsWith( "-Xmx" ) )
|
if ( arg.startsWith( "-Xmx" ) )
|
||||||
{
|
{
|
||||||
javaOptions += " " + arg;
|
javaOptions = arg;
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pb.environment().put( "_JAVA_OPTIONS", javaOptions );
|
if ( javaOptions != null )
|
||||||
|
{
|
||||||
|
pb.environment().put( "_JAVA_OPTIONS", javaOptions );
|
||||||
|
}
|
||||||
}
|
}
|
||||||
if ( IS_WINDOWS )
|
if ( IS_WINDOWS )
|
||||||
{
|
{
|
||||||
|
|
Loading…
Add table
Reference in a new issue