def readlines(self):
        lines = []
        while lines[-1:] != ['\n']:
            lines.append(self.readline())
        return lines
Replacement for stdin.readlines()
dataset/ETHPy150Open uwdata/termite-data-server/web2py/gluon/contrib/qdb.py/Qdb.readlines