blob: d73c2adcffc6cd673c98b4572e95d57f3ac85b5e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- scripts/Expect.py.orig 2013-03-11 15:19:47.000000000 +0000
+++ scripts/Expect.py 2014-09-08 22:32:43.000000000 +0000
@@ -461,7 +461,7 @@
if win32 and self.exitstatus != 0 and self.killed is not None:
self.exitstatus = -self.killed
self.p = None
- self.r.join()
+ self.r.join(timeout)
# Simulate a match on EOF
self.buf = self.r.getbuf()
self.before = self.buf
|