From 939e75b882d6c73ded99061c376c5e0f4475c321 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sun, 19 Sep 1999 19:26:14 +0000
Subject: [PATCH] [project @ 1999-09-19 19:26:14 by sof] wibble
---
ghc/lib/std/cbits/flushFile.c | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/ghc/lib/std/cbits/flushFile.c b/ghc/lib/std/cbits/flushFile.c
index d556d5ae1b54..190d78a46524 100644
--- a/ghc/lib/std/cbits/flushFile.c
+++ b/ghc/lib/std/cbits/flushFile.c
@@ -1,7 +1,7 @@
/*
* (c) The GRASP/AQUA Project, Glasgow University, 1994-1998
*
- * $Id: flushFile.c,v 1.4 1999/01/15 17:54:23 sof Exp $
+ * $Id: flushFile.c,v 1.5 1999/09/19 19:26:14 sof Exp $
*
* hFlush Runtime Support
*/
@@ -16,7 +16,7 @@ StgForeignPtr ptr;
IOFileObject* fo = (IOFileObject*)ptr;
int rc = 0;
- if ( (fo->flags & FILEOBJ_FLUSH) && !FILEOBJ_BUFFER_EMPTY(fo) ) {
+ if ( (fo->flags & FILEOBJ_FLUSH) && FILEOBJ_NEEDS_FLUSHING(fo) ) {
rc = writeBuffer(ptr,fo->bufWPtr - fo->bufRPtr);
}
@@ -30,11 +30,12 @@ StgForeignPtr ptr;
IOFileObject* fo = (IOFileObject*)ptr;
int rc = 0;
- /* If the file object is writeable, or if its
- RW and the last operation on it was a write,
+ /* If the file object is writeable, or if it's
+ RW *and* the last operation on it was a write,
flush it.
*/
- if ( (!FILEOBJ_READABLE(fo) && FILEOBJ_WRITEABLE(fo)) || (FILEOBJ_RW(fo) && FILEOBJ_JUST_WRITTEN(fo)) ) {
+ if ( (!FILEOBJ_READABLE(fo) && FILEOBJ_WRITEABLE(fo)) ||
+ (FILEOBJ_RW(fo) && FILEOBJ_JUST_WRITTEN(fo)) ) {
rc = flushFile(ptr);
if (rc<0) return rc;
}
--
GitLab