From: Dima K. <di...@se...> - 2025-06-30 05:17:30
|
Here's a patch. Makes Fl::run() use the default SIGINT handler, which makes things exit quickly and nicely, as is expected. It completely ignores existing SIGINT handlers, which maybe is wrong, but that's the mess Python made. Maybe we should remove the %rename line, to leave the Fl.run() alone, but give us a new Fl.run_with_default_SIGINT() to use as an option? Also should handle Fl.wait() and maybe a few others. |