From: John Darrington <john@marilyn.intra>
Date: Sat, 23 Aug 2008 00:44:32 +0000 (+0800)
Subject: Work around bug #24033 (appending to output in cygwin).
X-Git-Tag: v0.7.0~2
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd64b7f8def9cbbf882f31ae34ecec86cbfd6093;hp=bd64b7f8def9cbbf882f31ae34ecec86cbfd6093;p=pspp-builds.git

Work around bug #24033 (appending to output in cygwin).

Cygwin (and perhaps other w32 platforms) cannot write to a file
whilst it is open for reading.  This kludge therefore closes the
output after pasting into the output viewer and re-opens when new
data is appended.  It'll be slow if the output file becomes large.
---