-
Enhancement
-
Resolution: Unresolved
-
P4
-
None
-
None
-
x86_64
-
windows_10
ADDITIONAL SYSTEM INFORMATION :
Microsoft Windows [Version 10.0.18363.836]
openjdk version "14" 2020-03-17
OpenJDK Runtime Environment (build 14+36-1461)
OpenJDK 64-Bit Server VM (build 14+36-1461, mixed mode, sharing)
A DESCRIPTION OF THE PROBLEM :
On Windows, System.getenv() is case-insensitive. Specifically, System.getenv().get("PATH") and System.env().get("Path") return the same value.
At the same time, ProcessBuilder.environment() is case-sensitive. System.getenv().get("PATH") and System.env().get("Path") return different values.
Expected behavior: The keys of both maps should be case-insensitive on Windows.
Microsoft Windows [Version 10.0.18363.836]
openjdk version "14" 2020-03-17
OpenJDK Runtime Environment (build 14+36-1461)
OpenJDK 64-Bit Server VM (build 14+36-1461, mixed mode, sharing)
A DESCRIPTION OF THE PROBLEM :
On Windows, System.getenv() is case-insensitive. Specifically, System.getenv().get("PATH") and System.env().get("Path") return the same value.
At the same time, ProcessBuilder.environment() is case-sensitive. System.getenv().get("PATH") and System.env().get("Path") return different values.
Expected behavior: The keys of both maps should be case-insensitive on Windows.