| changeset 2612 | ffb895f16925 |
| parent 2549 | e1831f06eef1 |
| child 2673 | 109a22f5434a |
| 2611:1b4eb1f92433 | 2612:ffb895f16925 |
|---|---|
196 l = int(self.pipei.readline()) |
196 l = int(self.pipei.readline()) |
197 r = self.pipei.read(l) |
197 r = self.pipei.read(l) |
198 if not r: |
198 if not r: |
199 return 1 |
199 return 1 |
200 return int(r) |
200 return int(r) |
201 |
|
202 def stream_out(self): |
|
203 return self.do_cmd('stream_out') |