punky
/
botany
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Merge pull request #20 from Ensiss/io-fix 

Prevent infinite loops when piping to botany
pull/22/head
Jake Funke 2018-07-03 11:05:50 -07:00 committed by GitHub
parent 0f78cf20d3 2619bd87bb
commit 6162d9f1ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
menu_screen.py
View File

@ -129,6 +129,10 @@ class CursedMenu(object):
self.screen.refresh() self.screen.refresh()
self.__exit__() self.__exit__()
#traceback.print_exc() #traceback.print_exc()
except IOError as exception:
self.screen.clear()
self.screen.refresh()
self.__exit__()
def ascii_render(self, filename, ypos, xpos): def ascii_render(self, filename, ypos, xpos):
# Prints ASCII art from file at given coordinates # Prints ASCII art from file at given coordinates
@ -251,6 +255,8 @@ class CursedMenu(object):
user_in = self.screen.getch() # Gets user input user_in = self.screen.getch() # Gets user input
except Exception as e: except Exception as e:
self.__exit__() self.__exit__()
if user_in == -1: # Input comes from pipe/file and is closed
raise IOError
## DEBUG KEYS - enable these lines to see curses key codes ## DEBUG KEYS - enable these lines to see curses key codes
# self.screen.addstr(1, 1, str(user_in), curses.A_NORMAL) # self.screen.addstr(1, 1, str(user_in), curses.A_NORMAL)
# self.screen.refresh() # self.screen.refresh()
@ -366,6 +372,8 @@ class CursedMenu(object):
self.screen.refresh() self.screen.refresh()
self.screen_lock.release() self.screen_lock.release()
c = self.screen.getch() c = self.screen.getch()
if c == -1: # Input comes from pipe/file and is closed
raise IOError
self.infotoggle = 0 self.infotoggle = 0
# Quit # Quit
@ -388,6 +396,8 @@ class CursedMenu(object):
# Sort entries # Sort entries
elif c == ord("s"): elif c == ord("s"):
c = self.screen.getch() c = self.screen.getch()
if c == -1: # Input comes from pipe/file and is closed
raise IOError
column = -1 column = -1
if c < 255 and chr(c) in sort_keys: if c < 255 and chr(c) in sort_keys:
column = sort_keys.index(chr(c)) column = sort_keys.index(chr(c))
@ -617,6 +627,8 @@ class CursedMenu(object):
user_in = self.screen.getch() # Gets user input user_in = self.screen.getch() # Gets user input
except Exception as e: except Exception as e:
self.__exit__() self.__exit__()
if user_in == -1: # Input comes from pipe/file and is closed
raise IOError
if user_in in [ord('Y'), ord('y')]: if user_in in [ord('Y'), ord('y')]:
self.plant.start_over() self.plant.start_over()
@ -677,6 +689,8 @@ class CursedMenu(object):
completer = completer(self) completer = completer(self)
while user_input != 10: while user_input != 10:
user_input = self.screen.getch() user_input = self.screen.getch()
if user_input == -1: # Input comes from pipe/file and is closed
raise IOError
self.screen_lock.acquire() self.screen_lock.acquire()
# osx and unix backspace chars... # osx and unix backspace chars...
if user_input == 127 or user_input == 263: if user_input == 127 or user_input == 263: