diff options
author | Hans-Christoph Steiner <eighthave@users.sourceforge.net> | 2009-06-18 22:44:03 +0000 |
---|---|---|
committer | Hans-Christoph Steiner <eighthave@users.sourceforge.net> | 2009-06-18 22:44:03 +0000 |
commit | cffbd2493c6b3dedb1091e85a9675f2e294ea838 (patch) | |
tree | 34e97998a9a842e0dc8bcd0903f5800c3a686e59 | |
parent | 0413e9172f53a3b0a48d996e7484395858041d34 (diff) |
break out of the log append loop even if the pd process died without sending 'EOF on socket'
svn path=/trunk/; revision=11800
-rwxr-xr-x | scripts/load_every_help.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/load_every_help.py b/scripts/load_every_help.py index 415b7f14..5096c671 100755 --- a/scripts/load_every_help.py +++ b/scripts/load_every_help.py @@ -149,7 +149,7 @@ for root, dirs, files in os.walk(docdir): while True: line = p.stdout.readline() m = re.search('EOF on socket', line) - if not m: + if not m and line: patchoutput.append(line) else: break |