equal
deleted
inserted
replaced
107 while self.quiting is None: |
107 while self.quiting is None: |
108 try: |
108 try: |
109 self.daemon.handleRequests(req_timeout) |
109 self.daemon.handleRequests(req_timeout) |
110 except select.error: |
110 except select.error: |
111 continue |
111 continue |
112 self.trigger_events() |
112 finally: |
|
113 self.trigger_events() |
113 |
114 |
114 def quit(self): |
115 def quit(self): |
115 """stop the server""" |
116 """stop the server""" |
116 self.add_event(QuitEvent()) |
117 self.add_event(QuitEvent()) |
117 |
118 |