shell.py 文件源码

def push(self, command):
        """Push some code."""
        s = StringIO()
        with redirect_stdout(s), redirect_stderr(s):
            if super(Shell, self).push(command):
                self.player.notify('...')
        s.seek(0)
        self.player.notify(s.read())