Random idler fixes.

diff --git a/sql-edition/servers/Idler.py b/sql-edition/servers/Idler.py
index 555630f..5ffea0b 100755 (executable)
--- a/sql-edition/servers/Idler.py
+++ b/sql-edition/servers/Idler.py
@@ -178,4 +178,4 @@ class GrayIdler(Idler):
                self.i = 0
                self.grayCode = 0
                if self.reorder:
-                       self.reorder = int(random()*40320)
+                       self.reorder = int(random()*40319)+1

diff --git a/sql-edition/servers/VendServer.py b/sql-edition/servers/VendServer.py
index 992a65d..45288f1 100755 (executable)
--- a/sql-edition/servers/VendServer.py
+++ b/sql-edition/servers/VendServer.py
@@ -278,11 +278,11 @@ def run_forever(rfh, wfh, options, cf):
                        time_to_autologout = time() + 15
 
                if time_to_idle == None and cur_user == '':
-                       time_to_idle = time() + 30
+                       time_to_idle = time() + 5
                        choose_idler()
-               if time_to_idle != None and cur_user != '': time_to_idle = None
+               if time_to_idle is not None and cur_user != '': time_to_idle = None
                if time_to_idle is not None and time() > time_to_idle: idle_step()
-               if time() > time_to_idle + 300:
+               if time_to_idle is not None and time() > time_to_idle + 300:
                        time_to_idle = time()
                        choose_idler()