View Issue Details

IDProjectCategoryView StatusLast Update
0008539Talerqtartpublic2024-05-15 18:53
ReporterFlorian Dold Assigned ToFlorian Dold  
PrioritylowSeverityminorReproducibilityhave not tried
Status assignedResolutionopen 
Target Version0.12 
Summary0008539: os.fetchHttp does not allow cancellation [estimate: 7h]
DescriptionWe currently just ignore the result if the request is cancelled.

Instead, os.fetchHttp should return a cancellation function together with the promise.
TagsNo tags attached.


Florian Dold

2024-02-28 14:59

manager   ~0021551

Or as a separate argument in the options. I.e. an object that will receive the cancellation function.

Issue History

Date Modified Username Field Change
2024-02-28 11:07 Florian Dold New Issue
2024-02-28 11:07 Florian Dold Status new => assigned
2024-02-28 11:07 Florian Dold Assigned To => Florian Dold
2024-02-28 14:59 Florian Dold Note Added: 0021551
2024-03-07 14:07 Florian Dold Target Version 0.10 => 0.11
2024-03-27 21:23 Florian Dold Summary os.fetchHttp does not allow cancellation => os.fetchHttp does not allow cancellation [estimate: 7h]
2024-04-04 22:01 Florian Dold Priority normal => low
2024-05-15 18:53 Florian Dold Target Version 0.11 => 0.12