https://bugzilla.wikimedia.org/show_bug.cgi?id=55127

--- Comment #13 from Merlijn van Deen <valhall...@arctus.nl> ---
This solves the basic issue, but does not fix the other two issues (the main
thread will not respond to ctrl-c until the timeout is reached; also the thread
will not be stopped until the timeout is raised)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to