From 4a3ec752fb7aa2c28269251e4c4c88af4dd77ac3 Mon Sep 17 00:00:00 2001 From: Bernard Blackham Date: Sat, 26 Jun 2004 09:42:14 +0000 Subject: [PATCH] Responsiveness bug. --- sql-edition/servers/VendServer.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/sql-edition/servers/VendServer.py b/sql-edition/servers/VendServer.py index 9d8e0ae..2627cd3 100755 --- 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() -- 2.20.1