This commit is contained in:
Domen Kožar 2023-07-11 12:55:06 +01:00 committed by GitHub
parent 4e5d15a8f9
commit 834430954f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -53,9 +53,9 @@ defaults =
}
data RetryAction =
Skip -- Propagated the exception.
Skip -- Propagate the exception.
| Retry -- Retry with the delay according to the settings.
| RetryDelay DiffTime -- Retr after the given delay.
| RetryDelay DiffTime -- Retry after the given delay.
-- | Retry on all sync exceptions, async exceptions will still be thrown.
--