From 23d540da8b96402465d95b25601b82b717998e1c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 20 Jul 2003 14:43:36 +0000 Subject: [PATCH] . original commit: 2d52cbf9e7cf7c65d56c36a9863195e21fe35478 --- collects/mzlib/file.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/file.ss b/collects/mzlib/file.ss index 096bf26..cbb3957 100644 --- a/collects/mzlib/file.ss +++ b/collects/mzlib/file.ss @@ -375,7 +375,11 @@ (current-directory) base)]) (values filename - (build-path dir (format ".LOCK~a" name)) + (build-path dir (format "~aLOCK~a" + (if (eq? 'windows (system-type)) + "_" + ".") + name)) dir))))]) (with-handlers ([(lambda (x) (and (exn:i/o:filesystem? x)