changeset 43076 | 2372284d9457 |
parent 28353 | cd03fbd5ab57 |
child 45830 | c102b704edb5 |
--- a/contrib/debugcmdserver.py Sat Oct 05 10:29:34 2019 -0400 +++ b/contrib/debugcmdserver.py Sun Oct 06 09:45:02 2019 -0400 @@ -23,6 +23,7 @@ else: log = open(sys.argv[1], 'a') + def read(size): data = sys.stdin.read(size) if not data: @@ -31,6 +32,7 @@ sys.stdout.flush() return data + try: while True: header = read(outputfmtsize)