make sure to flush-output before fsync

2020-11-28 17:10:04 -05:00 · 2020-11-28 17:10:04 -05:00 · 7183bcad33
parent 69ae22f678
commit 7183bcad33
1 changed files with 1 additions and 0 deletions
--- a/crossfire/static-support.rkt
+++ b/crossfire/static-support.rkt
@ -115,6 +115,7 @@
        (fsync-call fd))))

  (define (port-fsync port)
+    (flush-output port)
    (match (system-type 'os)
      ['unix (port-fsync/unix port)]
      [x (error "don't know how to fsync on" x)]))