Re: [Python-Dev] threads, SIGINT and time.sleep()