ruff
[ty] Support cancellation and retry in the server
#18273

Merged

[ty] Support cancellation and retry in the server #18273

MichaReiser merged 6 commits into main from micha/server-cancellation-handling

MichaReiser added server

MichaReiser added ty

MichaReiser added server

MichaReiser added ty

MichaReiser force pushed from 1aacb8c7 to 038c8313 219 days ago

MichaReiser marked this pull request as ready for review 219 days ago

MichaReiser requested a review from

carljm 219 days ago

MichaReiser requested a review from

AlexWaygood 219 days ago

MichaReiser requested a review from

sharkdp 219 days ago

MichaReiser requested a review from

dcreager 219 days ago

MichaReiser force pushed from 038c8313 to 5bc3aeed 219 days ago

Base automatically changed from micha/remove-unnecessary-lifetimes to main 216 days ago

MichaReiser force pushed from f5ece05d to 775a29a7 216 days ago

AlexWaygood removed review request from

AlexWaygood 216 days ago

mscheifer commented on 2025-05-27

sharkdp approved these changes on 2025-05-27

dhruvmanila approved these changes on 2025-05-28

Extract main loop

4197d0e9

Rename Client to ClientOld

94479029

[ty] Request cancellation and retry

7ba26765

Move `cancel` to `Client`

de5ab7f5

MichaReiser force pushed from 775a29a7 to de5ab7f5 214 days ago

Review comments

a61e8853

Add comment explaining magic number

cc0f2335

MichaReiser force pushed from ec656faa to cc0f2335 214 days ago

MichaReiser merged 66ba1d87 into main 214 days ago

MichaReiser deleted the micha/server-cancellation-handling branch 214 days ago

Reviewers

dhruvmanila

sharkdp

mscheifer

carljm

dcreager

Assignees

No one assigned

Labels

server ty

Milestone

No milestone

ruff [ty] Support cancellation and retry in the server #18273 Merged

[ty] Support cancellation and retry in the server #18273

ruff
[ty] Support cancellation and retry in the server
#18273

Merged