* registry.py (Registry.pumpQueuedEvents): Added this method for