diff options
author | 2016-06-27 08:43:15 +0000 | |
---|---|---|
committer | 2016-06-27 11:41:28 +0000 | |
commit | 73297251964d33acd62226791a674c23f29378cb (patch) | |
tree | 8a584619c56799a08458308535ffc6178cf13382 /src/main/java/com | |
parent | 6aa2b71839969f38200ef3e75cba18d812a47c15 (diff) |
Use Thread#isInterrupted() instead of Thread#interrupted() followed by Thread#interrupt() .
--
MOS_MIGRATED_REVID=125933542
Diffstat (limited to 'src/main/java/com')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/shell/Command.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/shell/Command.java b/src/main/java/com/google/devtools/build/lib/shell/Command.java index e7417e9543..962d293651 100644 --- a/src/main/java/com/google/devtools/build/lib/shell/Command.java +++ b/src/main/java/com/google/devtools/build/lib/shell/Command.java @@ -824,9 +824,8 @@ public final class Command { log.finer(status.toString()); try { - if (Thread.interrupted()) { + if (Thread.currentThread().isInterrupted()) { outErr.cancel(); - Thread.currentThread().interrupt(); } else { outErr.waitForCompletion(); } |