From: José Fonseca <jfonseca@vmware.com>
Date: Thu, 18 Apr 2013 12:38:37 +0000 (+0100)
Subject: retracediff: Avoid WindowsError 5 Access is denied, when exiting.
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=10d04a2027fa6431ea69238e236f6ca75562e985;p=apitrace

retracediff: Avoid WindowsError 5 Access is denied, when exiting.
---

diff --git a/scripts/retracediff.py b/scripts/retracediff.py
index 413ecac..171622d 100755
--- a/scripts/retracediff.py
+++ b/scripts/retracediff.py
@@ -269,9 +269,17 @@ def main():
 
                 highligher.flush()
         finally:
-            src_proc.terminate()
+            try:
+                src_proc.terminate()
+            except OSError:
+                # Avoid http://bugs.python.org/issue14252
+                pass
     finally:
-        ref_proc.terminate()
+        try:
+            ref_proc.terminate()
+        except OSError:
+            # Avoid http://bugs.python.org/issue14252
+            pass
 
 
 if __name__ == '__main__':