I know it is racey, but the bug is not the race (iow : it is not a matter of pressing twice C-c very quickly). It happens all the time. I let enough time between the key strokes to let the program wait on raw_input.
Or maybe you have something else in mind. Care to expand ? Thanks, Aurélien. -- http://mail.python.org/mailman/listinfo/python-list
