From bf62e635089bb9bd31abe267f032c346bd02bcc7 Mon Sep 17 00:00:00 2001
From: Bernard Blackham <dagobah@ucc.gu.uwa.edu.au>
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