From bd75066d4c6a84908f7deb2c16fc9c212ea727f4 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Tue, 8 May 2012 09:03:05 +0100
Subject: [PATCH] Fix less eof communication.

---
 scripts/tracediff.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/tracediff.py b/scripts/tracediff.py
index b3933a9..f86fc39 100755
--- a/scripts/tracediff.py
+++ b/scripts/tracediff.py
@@ -124,6 +124,7 @@ def diff(ref_trace, src_trace):
     diff.wait()
 
     if less is not None:
+        less.stdin.close()
         less.wait()
 
 
-- 
2.45.2