diff --git a/modules/base/pymod/__init__.py b/modules/base/pymod/__init__.py
index c6d7a8ec17b8085fb4412236f0bfbbf5f6cc648f..124b1bf6b635f4f4e9f3965d19225d3a0354bd33 100644
--- a/modules/base/pymod/__init__.py
+++ b/modules/base/pymod/__init__.py
@@ -43,3 +43,6 @@ class StreamLogSink(LogSink):
     self._stream=stream
   def LogMessage(self, message, level):
     self._stream.write(message)
+
+def stop():
+  sys.exit()