diff Makefile @ 1837:6f67a4c93493

make ui flush output. this makes error happen if printing to /dev/full. before this change, error happened with some pythons, but not others. now always happens. fixes issue 155.
author Vadim Gelfer <vadim.gelfer@gmail.com>
date Mon, 06 Mar 2006 08:35:15 -0800
parents e84c69b43cdb
children 8a2a7f7d9df6
line wrap: on
line diff