Responsiveness bug.

diff --git a/sql-edition/servers/VendServer.py b/sql-edition/servers/VendServer.py
index 9d8e0ae..2627cd3 100755 (executable)
--- a/sql-edition/servers/VendServer.py
+++ b/sql-edition/servers/VendServer.py
@@ -138,6 +138,7 @@ if __name__ == '__main__':
 
                v.wait_for_events(1)
                while True:
+                       v.wait_for_events(0)
                        e = v.next_event()
                        if e == None: break
                        (event, params) = e
@@ -262,6 +263,4 @@ if __name__ == '__main__':
                                                scrolling_wraps = True
                                                need_repaint = True
 
-                       v.wait_for_events(0)
-
                db.handle_events()