suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

io: flush before performing file truncate

Browse Source 
For consistency with traditional Racket and currently matters on
Windows. The Windows implementation of file-truncate should probably
not move the file position as it does, though.
This commit is contained in:
Matthew Flatt 2018-11-12 09:58:12 -07:00
parent 0d4674a6e1
commit 8e4cecf215
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
racket/src/io/port/fd-port.rkt
View File

@ -26,16 +26,19 @@
(struct fd-data (fd extra input?)
#:property prop:file-stream (lambda (fdd) (fd-data-fd fdd))
#:property prop:data-place-message (lambda (port)
(lambda ()
(fd-port->place-message port))))
(struct fd-output-data fd-data (flush)
#:property prop:file-truncate (case-lambda
[(fdd pos)
((fd-output-data-flush fdd))
(check-rktio-error*
(rktio_set_file_size rktio
(fd-data-fd fdd)
pos)
"error setting file size")])
#:property prop:data-place-message (lambda (port)
(lambda ()
(fd-port->place-message port))))
"error setting file size")]))
(define (maybe-fd-data-extra data)
(and (fd-data? data)
@ -172,7 +175,11 @@
(define port
(make-core-output-port
#:name name
#:data (fd-data fd extra-data #f)
#:data (fd-output-data fd extra-data #f
;; Flush function needed for `file-truncate`:
(lambda ()
(atomically
(flush-buffer-fully #f))))
#:evt evt