diff options
author | Joey Hess <joeyh@joeyh.name> | 2023-10-26 13:36:49 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2023-10-26 13:36:49 -0400 |
commit | d9fd205cbb7d5dc5e441bb5dcc139c557b4324bc (patch) | |
tree | f1deee99752f41495dbfc55d219935ceb6cdce38 /Logs | |
parent | c873586e14705b27ac709cd44f3cc74a284a8628 (diff) |
push RawFilePath down into Annex.ReplaceFile
Minor optimisation, but a win in every case, except for a couple where
it's a wash.
Note that replaceFile still takes a FilePath, because it needs to
operate on Chars to truncate unicode filenames properly.
Diffstat (limited to 'Logs')
-rw-r--r-- | Logs/File.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Logs/File.hs b/Logs/File.hs index 56b0c90dda..94b2992238 100644 --- a/Logs/File.hs +++ b/Logs/File.hs @@ -47,8 +47,8 @@ withLogHandle f a = do bracket (setup tmp) cleanup a where setup tmp = do - setAnnexFilePerm (toRawFilePath tmp) - liftIO $ openFile tmp WriteMode + setAnnexFilePerm tmp + liftIO $ openFile (fromRawFilePath tmp) WriteMode cleanup h = liftIO $ hClose h -- | Appends a line to a log file, first locking it to prevent |