def write(s):
    def _retry(func, *args):
        while True:
            try:
                func(*args)
            except __HOLE__, e:
                if e.errno != errno.EAGAIN:
                    raise
            else:
                break
    _retry(sys.stdout.write, s)
    _retry(sys.stdout.flush)
dataset/ETHPy150Open gooli/termenu/ansi.py/write