Random idler fixes.

[zanchey/dispense2.git] / sql-edition / servers / VendServer.py

diff --git a/sql-edition/servers/VendServer.py b/sql-edition/servers/VendServer.py
index bed5366..45288f1 100755 (executable)
--- a/sql-edition/servers/VendServer.py
+++ b/sql-edition/servers/VendServer.py
@@ -219,6 +219,9 @@ def setup_idlers(v):
                GrayIdler(v,one="*",zero="-"),
                GrayIdler(v,one="/",zero="\\"),
                GrayIdler(v,one="X",zero="O"),
+               GrayIdler(v,one="*",zero="-",reorder=1),
+               GrayIdler(v,one="/",zero="\\",reorder=1),
+               GrayIdler(v,one="X",zero="O",reorder=1),
                ]
        idler = choose_idler()
 
@@ -275,10 +278,13 @@ def run_forever(rfh, wfh, options, cf):
                        time_to_autologout = time() + 15
 
                if time_to_idle == None and cur_user == '':
-                       time_to_idle = time() + 2
+                       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_to_idle is not None and time() > time_to_idle + 300:
+                       time_to_idle = time()
+                       choose_idler()
 
                mk.update_display()