KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Ignore harmless KeyError while modifying selectors

Browse Source
This commit is contained in:
Kovid Goyal 2018-02-09 20:20:18 +05:30
parent 8c18486836
commit e119ed0daa
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kittens/tui/loop.py
View File

@ -290,9 +290,15 @@ class Loop:
def _modify_output_selector(self, waiting_for_write): def _modify_output_selector(self, waiting_for_write):
if waiting_for_write: if waiting_for_write:
try:
self.sel.register(self.output_fd, selectors.EVENT_WRITE, self._write_ready) self.sel.register(self.output_fd, selectors.EVENT_WRITE, self._write_ready)
except KeyError:
pass
else: else:
try:
self.sel.unregister(self.output_fd) self.sel.unregister(self.output_fd)
except KeyError:
pass
def loop(self, handler): def loop(self, handler):
select = self.sel.select select = self.sel.select