silence sphinx a bit

[saartuer.git] / tuerd

diff --git a/tuerd b/tuerd
index 220b2bca8078dd1efe57be8d1105d0154123846b..942c495267403d957e1e01ee579a3d88414e4a47 100755 (executable)
--- a/tuerd
+++ b/tuerd
@@ -41,9 +41,10 @@ try:
        the_socket.accept()
 except KeyboardInterrupt:
        # this is what we waited for!
-       logger.info("Got SIGINT, terminating...")
        pass
 
+logger.info("Terminating...") # somehow this does not arrive in the syslog
+
 # bring 'em all down
 the_waker.stop() # this one first, it "randomly" calls other threads
 the_pins.stop() # as does this