From f65ce7783267235ba4320fdd42441b1398517052 Mon Sep 17 00:00:00 2001
From: Valerio Mariani <valerio.mariani@unibas.ch>
Date: Mon, 10 Jan 2011 10:51:21 +0100
Subject: [PATCH] Stop function for debugging purposes
---
modules/base/pymod/__init__.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/modules/base/pymod/__init__.py b/modules/base/pymod/__init__.py
index c6d7a8ec1..124b1bf6b 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()
--
GitLab