commit 28f08f157d6bf206ff0aef5a9ec54694195dc911
author Philipp Wollermann <philwo@google.com> Mon Sep 21 13:42:01 2015 +0000
committer Damien Martin-Guillerez <dmarting@google.com> Mon Sep 21 14:25:58 2015 +0000
tree 3cf1dd4fa5120e74c3474c6eba94fce000c4fb22
parent 3cbbca6129dc7dd15dd773ccb6d15ac9f58c9886

workers: Make sure to wait for worker processes to exit so that they don't become zombies.

--
MOS_MIGRATED_REVID=103541217

src/main/java/com/google/devtools/build/lib/shell/Command.java

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 364373d..b0ed4a5 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
@@ -846,8 +846,7 @@
         }
       }
     } finally {
-      // Read this for detailed explanation:
-      // http://www-128.ibm.com/developerworks/java/library/j-jtp05236.html
+      // Read this for detailed explanation: http://www.ibm.com/developerworks/library/j-jtp05236/
       if (wasInterrupted) {
         Thread.currentThread().interrupt(); // preserve interrupted status
       }