Export KilledByThreadManager exception#1016
Conversation
so that it can be caught, if necessary
|
I think CI failures must be unrelated to this PR, since I literally just added an export. |
|
Yes, the |
|
CI has been fixed. |
Because it is critical that I am able to catch it. |
Specifically, in the |
|
OK! |
|
Thanks @kazu-yamamoto ! |
## 0.2.2 * `initialize` with non positive integer creates a time manager which does not maintain timeout. [#1017](yesodweb/wai#1017) ## 0.2.1 * Export KilledByThreadManager exception [#1016](yesodweb/wai#1016) ## 0.2.0 * Providing `System.ThreadManager`. * `withHandle` catches `TimeoutThread` internally. It returns `Nothing` on timeout. ## 0.1.3 * Providing `withHandle` and `withHandleKillThread`. ## 0.1.2 * Holding `Weak ThreadId` to prevent thread leak again [#1013](yesodweb/wai#1013) ## 0.1.1 * Removing `unliftio`.
No description provided.