equal
deleted
inserted
replaced
315 } else if (str.equalsIgnoreCase("system")) { |
315 } else if (str.equalsIgnoreCase("system")) { |
316 preferIPv6Address = PREFER_SYSTEM_VALUE; |
316 preferIPv6Address = PREFER_SYSTEM_VALUE; |
317 } else { |
317 } else { |
318 preferIPv6Address = PREFER_IPV4_VALUE; |
318 preferIPv6Address = PREFER_IPV4_VALUE; |
319 } |
319 } |
320 AccessController.doPrivileged( |
320 jdk.internal.loader.BootLoader.loadLibrary("net"); |
321 new java.security.PrivilegedAction<>() { |
|
322 public Void run() { |
|
323 System.loadLibrary("net"); |
|
324 return null; |
|
325 } |
|
326 }); |
|
327 SharedSecrets.setJavaNetInetAddressAccess( |
321 SharedSecrets.setJavaNetInetAddressAccess( |
328 new JavaNetInetAddressAccess() { |
322 new JavaNetInetAddressAccess() { |
329 public String getOriginalHostName(InetAddress ia) { |
323 public String getOriginalHostName(InetAddress ia) { |
330 return ia.holder.getOriginalHostName(); |
324 return ia.holder.getOriginalHostName(); |
331 } |
325 } |