| changeset 1358 | 20abfd48e21c |
| parent 1357 | 94586af53d2f |
| child 1400 | cf9a1233738a |
| 1357:94586af53d2f | 1358:20abfd48e21c |
|---|---|
45 |
45 |
46 def __del__(self): |
46 def __del__(self): |
47 try: |
47 try: |
48 self.pipeo.close() |
48 self.pipeo.close() |
49 self.pipei.close() |
49 self.pipei.close() |
50 readerr() |
50 # read the error descriptor until EOF |
51 for l in self.pipee: |
|
52 self.ui.status("remote: ", l) |
|
51 self.pipee.close() |
53 self.pipee.close() |
52 except: |
54 except: |
53 pass |
55 pass |
54 |
56 |
55 def dev(self): |
57 def dev(self): |