let's close the stdin (probably useless anyway?)

schermetto/num_display.py

@@ -110,6 +110,7 @@ class App(Gtk.Application):
         self.window.present()
 
     def on_quit(self, action, param):
+        sys.stdin.close()
         self.quit()
 
     @GObject.Property(type=str,

utils/wsclient.py

@@ -26,7 +26,6 @@ def get_parser():
 def on_message(wsapp, msg):
     print(msg)
 
-
 def main():
     args = get_parser().parse_args()