From 8fd636d83532a9f50a2a7bf82600bdb378f8af7b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 13 Nov 2006 19:15:55 +0000 Subject: [PATCH] use path-element where needed svn: r4838 original commit: ed575e9e031ecdd917c5f90731163639ff74912b --- collects/mzlib/file.ss | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/collects/mzlib/file.ss b/collects/mzlib/file.ss index 03e93b6..c626dd8 100644 --- a/collects/mzlib/file.ss +++ b/collects/mzlib/file.ss @@ -355,15 +355,17 @@ base)]) (unless (directory-exists? dir) (make-directory* dir)) - (values filename - (build-path dir (bytes->path - (bytes-append - (if (eq? 'windows (system-type)) - #"_" - #".") - #"LOCK" - (path->bytes name)))) - dir))))]) + (values + filename + (build-path dir + (bytes->path-element + (bytes-append + (if (eq? 'windows (system-type)) + #"_" + #".") + #"LOCK" + (path-element->bytes name)))) + dir))))]) (with-handlers ([exn:fail:filesystem:exists? (lambda (x) (if lock-there