From c92c6925078fa572d3fae27071d845f48981bb4c Mon Sep 17 00:00:00 2001
From: Gerhard Gonter <ggonter@gmail.com>
Date: Sun, 19 Jul 2020 19:39:50 +0200
Subject: [PATCH] ignore SIGINT

---
 guesslang.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/guesslang.py b/guesslang.py
index 6b8f571..700928a 100755
--- a/guesslang.py
+++ b/guesslang.py
@@ -3,6 +3,8 @@
 from guess_language import guess_language
 from argparse import ArgumentParser, FileType
 import sys
+import signal
+
 
 __authors__ = ["GG"]
 __date__ = 20191031
@@ -31,6 +33,8 @@ def guesslang(fnm):
   if (lastlang != 'UNKNOWN'):
     print(lastlang, ' ', page_num+1, ' ', fnm)
 
+s = signal.signal(signal.SIGINT, signal.SIG_IGN)
+
 argc= len(sys.argv)
 # print(argc)
 if argc > 1:
@@ -41,3 +45,5 @@ else:
   lang= guess_language(text)
   print(lang, ' ', 'stdin')
 
+signal.signal(signal.SIGINT, s)
+
-- 
GitLab