- Timestamp:
- Nov 19, 2022, 11:37:52 AM (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/lib/file_store.ml
r21 r32 125 125 126 126 let id_filename repo extension text = 127 let basename = Text.alias textin128 let candidate = Filename.concat repo (text.id ^ "." ^ basename^ extension) in127 let description = match Text.alias text with "" -> "" | x -> "." ^ x in 128 let candidate = Filename.concat repo (text.id ^ description ^ extension) in 129 129 if Sys.file_exists candidate then Error "Name clash, try again" else Ok candidate 130 130
Note:
See TracChangeset
for help on using the changeset viewer.