From 1b3384c49aeb888a5eeba540064e3fc883dd93ae Mon Sep 17 00:00:00 2001
From: boyska <boyska@riseup.net>
Date: Fri, 19 Aug 2022 19:03:45 +0200
Subject: [PATCH] let's close the stdin (probably useless anyway?)

---
 schermetto/num_display.py | 1 +
 utils/wsclient.py         | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/schermetto/num_display.py b/schermetto/num_display.py
index af72a81..12fd4ab 100755
--- a/schermetto/num_display.py
+++ b/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,
diff --git a/utils/wsclient.py b/utils/wsclient.py
index 0c688b2..de2312c 100755
--- a/utils/wsclient.py
+++ b/utils/wsclient.py
@@ -26,7 +26,6 @@ def get_parser():
 def on_message(wsapp, msg):
     print(msg)
 
-
 def main():
     args = get_parser().parse_args()