| changeset 2019 | ced2d3620f95 |
| parent 1736 | 50de0887bbcd |
| child 2028 | 1f1fc418a96c |
| 2015:1a09814a5b1f | 2019:ced2d3620f95 |
|---|---|
128 |
128 |
129 self.pipeo.flush() |
129 self.pipeo.flush() |
130 |
130 |
131 self.readerr() |
131 self.readerr() |
132 l = int(self.pipei.readline()) |
132 l = int(self.pipei.readline()) |
133 return self.pipei.read(l) != "" |
133 r = self.pipei.read(l) |
134 if not r: |
|
135 return 1 |
|
136 return int(r) |