Matthew Flatt a46a903637 reencode-output: flush buffer on encoding error, so that the port can be closed ... svn: r9528 original commit: 2837df70a6ce917b894152141a38243503b5f96b		2008-04-29 01:18:13 +00:00
collects	reencode-output: flush buffer on encoding error, so that the port can be closed	2008-04-29 01:18:13 +00:00