From 10d04a2027fa6431ea69238e236f6ca75562e985 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jos=C3=A9=20Fonseca?= Date: Thu, 18 Apr 2013 13:38:37 +0100 Subject: [PATCH] retracediff: Avoid WindowsError 5 Access is denied, when exiting. --- scripts/retracediff.py | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) 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__': -- 2.43.0