From: bdemsky <bdemsky>
Date: Sat, 28 Oct 2006 02:41:30 +0000 (+0000)
Subject: Flush command added
X-Git-Tag: preEdgeChange~799
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6dffd40f3d89d06e8de1fdccd57bfc080404296b;p=IRC.git

Flush command added
---

diff --git a/Robust/src/ClassLibrary/FileOutputStream.java b/Robust/src/ClassLibrary/FileOutputStream.java
index ed81ed7c..031634ff 100644
--- a/Robust/src/ClassLibrary/FileOutputStream.java
+++ b/Robust/src/ClassLibrary/FileOutputStream.java
@@ -21,6 +21,7 @@ public class FileOutputStream {
     private static native int nativeAppend(byte[] filename);
     private static native void nativeWrite(int fd, byte[] array);
     private static native void nativeClose(int fd);
+    private static native void nativeFlush(int fd);
     
     public void write(int ch) {
 	byte b[]=new byte[1];
@@ -32,6 +33,10 @@ public class FileOutputStream {
 	nativeWrite(fd, b);
     }
 
+    public void flush() {
+	nativeFlush(fd);
+    }
+
     public void close() {
 	nativeClose(fd);
     }
diff --git a/Robust/src/Runtime/file.c b/Robust/src/Runtime/file.c
index fa8343dc..88cd585c 100644
--- a/Robust/src/Runtime/file.c
+++ b/Robust/src/Runtime/file.c
@@ -17,6 +17,10 @@ void ___FileOutputStream______nativeClose____I(int fd) {
   close(fd);
 }
 
+void ___FileOutputStream______nativeFlush____I(int fd) {
+  fsync(fd);
+}
+
 int ___FileOutputStream______nativeOpen_____AR_B(struct ArrayObject * ao) {
   int length=ao->___length___;
   char* filename= (((char *)& ao->___length___)+sizeof(int));