flush called only for exclusive-mode files

diff --git a/src/posix/generic/Host/Mod/Files.cp b/src/posix/generic/Host/Mod/Files.cp
index 19517f242be6beb03c5d0e9d36b8c4ba6c80b1ed..8b0fc0058d30c7ae1f699bcf69d5b42eba55dbbb 100644 (file)
--- a/src/posix/generic/Host/Mod/Files.cp
+++ b/src/posix/generic/Host/Mod/Files.cp
@@ -141,7 +141,7 @@ MODULE HostFiles;
   PROCEDURE (f: File) Flush;
     VAR res: unistd.int;
   BEGIN
-    IF f.state # closed THEN
+    IF f.state = exclusive THEN
       res := unistd.fsync(f.fd);
       ASSERT(res = 0, 100)
     END