diff --git a/src/main/org/apache/tools/ant/taskdefs/Execute.java b/src/main/org/apache/tools/ant/taskdefs/Execute.java
index b41408928..12cf8b968 100644
--- a/src/main/org/apache/tools/ant/taskdefs/Execute.java
+++ b/src/main/org/apache/tools/ant/taskdefs/Execute.java
@@ -466,7 +466,9 @@ public class Execute {
         try {
             process.waitFor();
             setExitValue(process.exitValue());
-        } catch (InterruptedException e) {}
+        } catch (InterruptedException e) {
+            process.destroy();
+        }
     }
 
     protected void setExitValue(int value) {