ThomasV 742705b855 add timeout in order to allow KeyboardInterrupt

2012-05-19 15:52:06 +02:00

35 KiB

Raw Blame History

View Raw