How does Giraffe deal with request cancellation?

[xperiandri]

How is it aligned with the article https://andrewlock.net/using-cancellationtokens-in-asp-net-core-minimal-apis/ ?

[baronfel]

That article talks about using HttpContext.RequestAborted as the CancellationTokenSource for your requests - this still works. If you're using tasks, you'll need to check it yourself, and/or propagate it to your called methods. If you're using Asyncs, you can use HttpContext.RequestAborted as the cancellationToken parameter of an Async.StartAsTask call. Either way, it mostly just works out of the box as you'd expect!

[xperiandri]

What about getting a CancellationToken from it and passing to async methods? How to do that easily?

[abelbraaksma]

Can you elaborate as to the scenario we're trying to solve here? Just curious. FYI, for async, the passing-through of the cancellation token is automatic (i.e from one nested async to the next child async etc). For task it must be done manually, I think that's what @baronfel was alluding to.

[ajuch]

The proposed Async.WithCancellation in fsharp/fslang-suggestions#685 helped me solve request cancellation, maybe it helps somebody else...