def pushback(self, s):
        self.__buf = [c for c in s] + self.__buf
Push a character or string back onto the input stream.
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/grizzled/grizzled/io/__init__.py/PushbackFile.pushback