Handle ctrl-c at the terminal appropriately.
commitac982edb10c5ebea89098d8809051b6b93e0991c
authorFredrik Kuivinen <ksorim@c165.(none)>
Fri, 1 Jul 2005 16:29:08 +0000 (1 18:29 +0200)
committerFredrik Kuivinen <ksorim@c165.(none)>
Fri, 1 Jul 2005 16:29:08 +0000 (1 18:29 +0200)
treebac4cfa01d602631189990e428a316923a5d4c9c
parent7deadfd794eb4e188836c31d18989545aa186ab1
Handle ctrl-c at the terminal appropriately.
main.py