diff options
author | 2018-07-30 06:45:13 -0700 | |
---|---|---|
committer | 2018-07-30 06:47:00 -0700 | |
commit | 3082654a566514b4f0535410cba6a51580471df8 (patch) | |
tree | 9fbb6204f0925335d374f26fed08dc91c0227566 /src/main/java/com/google/devtools/build/lib/util | |
parent | 7b3a3fd995608b1f18c3776a60c5b645f4e31393 (diff) |
Add a todo to ProcessUtils to use the new Java 9 APIs
PiperOrigin-RevId: 206573961
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/util')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java b/src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java index cbd69c17f1..964e019261 100644 --- a/src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java +++ b/src/main/java/com/google/devtools/build/lib/util/ProcessUtils.java @@ -44,6 +44,7 @@ public final class ProcessUtils { * @throws UnsatisfiedLinkError when JNI is not available. */ public static int getpid() { + // TODO(ulfjack): Use ProcessHandle.current().getPid() here. if (OS.getCurrent() == OS.WINDOWS) { return WindowsProcesses.getpid(); } else { |