Changeset 33295 in vbox for trunk/src/VBox/Frontends/VBoxShell

Timestamp:

Oct 21, 2010 10:46:46 AM (14 years ago)

Author:

vboxsync

Message:

Main: support aggregation of multiple event sources into one,
to allow listen on multiple event sources without heavy polling
(pretty much what select() do with fds)

File:

• trunk/src/VBox/Frontends/VBoxShell/vboxshell.py (modified) (3 diffs)

trunk/src/VBox/Frontends/VBoxShell/vboxshell.py

@@ -405 +405 @@
     listener = console.eventSource.createListener()
     registered = False
-    sources = [console.keyboard.eventSource, console.mouse.eventSource]
+    # we create an aggregated event source to listen for multiple event types
+    agg = console.eventSource.createAggregator([console.keyboard.eventSource, console.mouse.eventSource])
     demo = open(file, 'w')
     header="VM="+console.machine.name+"\n"
@@ -413 +414 @@
         dur = 100000
     try:
-        for es in sources:
-            es.registerListener(listener, [ctx['global'].constants.VBoxEventType_Any], False)
+        agg.registerListener(listener, [ctx['global'].constants.VBoxEventType_Any], False)
         registered = True
         end = time.time() + dur
         while  time.time() < end:
-            for es in sources:
-                ev = es.getEvent(listener, 0)
-                if ev:
-                    handleEventImpl(ev)
-                    # keyboard/mouse events aren't waitable, so no need for eventProcessed
+            ev = agg.getEvent(listener, 0)
+            if ev:
+                handleEventImpl(ev)
+                # keyboard/mouse events aren't waitable, so no need for eventProcessed
     # We need to catch all exceptions here, otherwise listener will never be unregistered
     except:
@@ -429 +428 @@
     demo.close()
     if listener and registered:
-        for es in sources:
-            es.unregisterListener(listener)
+        agg.unregisterListener(listener)