Handle SIGINT #2

New issue

Open

opened 2026-03-21 23:34:30 +01:00 by maleszka · 0 comments

maleszka commented

2026-03-21 23:34:30 +01:00

Owner

Fetcher's may take a lot of time in some cases. We should implement a SIGINT signal handler that sets some atomic bool and PlatformAPI should check for that.

I think, a good place to check for such a global bool might be every fetch call in PlatformAPI.

Fetcher's may take a lot of time in some cases. We should implement a SIGINT signal handler that sets some atomic bool and PlatformAPI should check for that. I think, a good place to check for such a global bool might be every fetch call in PlatformAPI.