equal
deleted
inserted
replaced
16 server.stdin.flush() |
16 server.stdin.flush() |
17 |
17 |
18 def readchannel(server): |
18 def readchannel(server): |
19 data = server.stdout.read(5) |
19 data = server.stdout.read(5) |
20 if not data: |
20 if not data: |
21 raise EOFError() |
21 raise EOFError |
22 channel, length = struct.unpack('>cI', data) |
22 channel, length = struct.unpack('>cI', data) |
23 if channel in 'IL': |
23 if channel in 'IL': |
24 return channel, length |
24 return channel, length |
25 else: |
25 else: |
26 return channel, server.stdout.read(length) |
26 return channel, server.stdout.read(length) |