From 5ce510c549ce39e96ba36669b85f3e8c786f6864 Mon Sep 17 00:00:00 2001 From: enkore Date: Wed, 17 Jun 2015 14:04:06 +0200 Subject: [PATCH] setting_util.py: handle EOFError gracefully (^D) --- setting_util.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/setting_util.py b/setting_util.py index 97cf663..ab9b1c0 100755 --- a/setting_util.py +++ b/setting_util.py @@ -10,6 +10,7 @@ from i3pystatus import Module, SettingsBase from i3pystatus.core import ClassFinder from collections import defaultdict, OrderedDict + def signal_handler(signal, frame): sys.exit(0) signal.signal(signal.SIGINT, signal_handler) @@ -17,7 +18,11 @@ signal.signal(signal.SIGINT, signal_handler) def get_int_in_range(prompt, _range): while True: - answer = input(prompt) + try: + answer = input(prompt) + except EOFError: + print() + sys.exit(0) try: n = int(answer.strip()) if n in _range: