projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31e4b6d) | patch
improve error message when commitDb' fails due to disk full or IO error
authorJoey Hess <joeyh@joeyh.name>
Wed, 19 Apr 2023 16:43:30 +0000 (12:43 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 19 Apr 2023 16:43:30 +0000 (12:43 -0400)
commita3f433eac8779fcf394f43cb4057e1a8e807662a
tree2516c4f84ad7828c2f2df705f8bff3631bf84754tree | snapshot
parent31e4b6dee16ee3de0f3cd4fbb73ddeec342b9711commit | diff
improve error message when commitDb' fails due to disk full or IO error

There's still a 60 second delay in this situation because it retries,
in case the failure was due to something recoverable like another
process.

Sponsored-by: unqueued on Patreon
Database/Handle.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.