From 1f263b2cf0376a0c58655a2440fb98564df8cbd8 Mon Sep 17 00:00:00 2001 From: chrys87 Date: Thu, 22 Sep 2016 16:11:36 +0200 Subject: [PATCH] Update fenrir.py --- src/fenrir-package/fenrir.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/fenrir-package/fenrir.py b/src/fenrir-package/fenrir.py index 0aef600c..d3b19a49 100755 --- a/src/fenrir-package/fenrir.py +++ b/src/fenrir-package/fenrir.py @@ -97,7 +97,10 @@ class fenrir(): if self.environment['runtime']['outputManager']: self.environment['runtime']['outputManager'].shutdown() del self.environment['runtime']['outputManager'] - + if self.environment['runtime']['punctuationManager']: + self.environment['runtime']['punctuationManager'].shutdown() + del self.environment['runtime']['punctuationManager'] + if self.environment['runtime']['debug']: self.environment['runtime']['debug'].shutdown() del self.environment['runtime']['debug']