Restore accidentally deleted polling

2014-01-07 19:26:23 -05:00 · 2014-01-07 19:26:23 -05:00 · 77df83250f
parent 2073263c07
commit 77df83250f
1 changed files with 2 additions and 0 deletions
--- a/python/nrepl_fireplace.py
+++ b/python/nrepl_fireplace.py
@ -75,6 +75,8 @@ class Connection:
    return ''

  def receive(self, char=None):
+    while len(select.select([self.socket], [], [], 0.1)[0]) == 0:
+      self.poll()
    f = self.socket.makefile()
    try:
      return bdecode(f)