X-Git-Url: https://git.ralfj.de/saartuer.git/blobdiff_plain/8b136f42bf0c83f8aee52c315f7dbebc371cce1b..58cb71a3e864fbad3e90a9518a367e28ee458467:/tuerd

diff --git a/tuerd b/tuerd
index c3a5a43..8c24cfd 100755
--- a/tuerd
+++ b/tuerd
@@ -1,6 +1,7 @@
 #!/usr/bin/python3
 import RPi.GPIO as GPIO
 import statemachine, actor, pins, tysock, waker
+from libtuer import logger
 
 # initialize GPIO stuff
 GPIO.setmode(GPIO.BOARD)
@@ -17,12 +18,12 @@ try:
 	the_socket.accept()
 except KeyboardInterrupt:
 	# this is what we waited for!
+	logger.info("Got SIGINT, terminating...")
 	pass
 
 # bring 'em all down
 the_waker.stop()
 the_pins.stop()
-the_socket.stop()
 the_machine.stop()
 the_actor.stop()