diff options
Diffstat (limited to 'librelogo/source/LibreLogo/LibreLogo.py')
-rw-r--r-- | librelogo/source/LibreLogo/LibreLogo.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/librelogo/source/LibreLogo/LibreLogo.py b/librelogo/source/LibreLogo/LibreLogo.py index 356ed97f551a..0dc5d7ea2ed7 100644 --- a/librelogo/source/LibreLogo/LibreLogo.py +++ b/librelogo/source/LibreLogo/LibreLogo.py @@ -516,6 +516,9 @@ class LogoProgram(threading.Thread): with __lock__: __thread__ = None +# to check LibreLogo program termination (in that case, return value is False) +def __is_alive__(): + return __thread__ != None def __encodestring__(m): __strings__.append(re.sub("\\[^\\]", "", m.group(2))) |