X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d189ec0eee8569e5811335e7fc93a921e14c2b1f..d612d62cd04b713bb1057fd2e666365704aaf3d6:/src/main.sml diff --git a/src/main.sml b/src/main.sml index 86da95f..415d9c2 100644 --- a/src/main.sml +++ b/src/main.sml @@ -48,10 +48,12 @@ fun basis () = fun loop files = case Posix.FileSys.readdir dir of - NONE => files + NONE => (Posix.FileSys.closedir dir; + files) | SOME fname => if String.isSuffix ".dtl" fname then - loop (String.concatWith "/" [Config.libRoot, fname] + loop (OS.Path.joinDirFile {dir = Config.libRoot, + file = fname} :: files) else loop files