[project @ robey@master-shake.local-20060201193536-86f3fd393e7ef8f9]

don't clear the select pipe when the recv buffer is cleared out, if we're at EOF (found by thomas steinacher)

paramiko/channel.py

@@ -512,7 +512,7 @@ class Channel (object):
             if len(self.in_buffer) <= nbytes:
                 out = self.in_buffer
                 self.in_buffer = ''
-                if self.pipe is not None:
+                if (self.pipe is not None) and not (self.closed or self.eof_received):
                     # clear the pipe, since no more data is buffered
                     self.pipe.clear()
             else: