Fix less eof communication.

diff --git a/scripts/tracediff.py b/scripts/tracediff.py
index b3933a9d59ee1b11a5e6b0b9b81327345d9aa4ca..f86fc391b0dd6d2eb3265120289db8e8b5c1aa8b 100755 (executable)
--- 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()