Changeset 713:64f54381f834

Timestamp:

10/25/15 18:49:24 (9 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

cef

Phase:

public

Message:

Added support for a fast timeout handler to speed up operations driver via Selenium (re #279).

Location:

src/mlx/gui

Files:

• cef.py (modified) (2 diffs)
• flight.py (modified) (2 diffs)

src/mlx/gui/cef.py

@@ -28 +28 @@
 # Indicate if we should quit
 _toQuit = False
+
+# Indicate the users of the fast timeout handler. If it reaches zero, the
+# timeout will be stopped
+_fastTimeoutUsers = 0
 
 # The Selenium thread
@@ -402 +406 @@
 #------------------------------------------------------------------------------
 
+def startFastTimeout():
+    """Start the fast timeout handler."""
+    global _fastTimeoutUsers
+
+    if _fastTimeoutUsers==0:
+        _fastTimeoutUsers = 1
+        gobject.timeout_add(1, _handleFastTimeout)
+    else:
+        _fastTimeoutUsers += 1
+
+#------------------------------------------------------------------------------
+
+def stopFastTimeout():
+    """Stop the fast timeout handler."""
+    global _fastTimeoutUsers
+
+    assert _fastTimeoutUsers>0
+    _fastTimeoutUsers -= 1
+
+#------------------------------------------------------------------------------
+
+def _handleFastTimeout():
+    """Handle a (fast) timeout by running the CEF message loop."""
+    if _toQuit or _fastTimeoutUsers==0:
+        return False
+    else:
+        cefpython.MessageLoopWork()
+        return True
+
+#------------------------------------------------------------------------------
+
 def _handleSizeAllocate(widget, sizeAlloc):
     """Handle the size-allocate event."""

src/mlx/gui/flight.py

@@ -1974 +1974 @@
             self._wizard.gui.beginBusy("Calling SimBrief...")
 
+            cef.startFastTimeout()
             cef.callSimBrief(plan,
                              self._getCredentialsCallback,
@@ -2046 +2047 @@
             self._wizard.gui.updateBusyState(xstr(message))
         else:
+            cef.stopFastTimeout()
             self._wizard.gui.endBusy()