<br><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">I propose to add Thread.interrupt() function.</blockquote><div>Does the new http://docs.python.org/dev/library/signal.html#signal.pthread_kill help in any way?<br><br></div>