diff options
| -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 |