From 2ee681b51352a234f3481dd746c18cca70414b18 Mon Sep 17 00:00:00 2001 From: chrys87 Date: Thu, 22 Sep 2016 17:06:25 +0200 Subject: [PATCH] Update fenrir.py --- src/fenrir-package/fenrir.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/fenrir-package/fenrir.py b/src/fenrir-package/fenrir.py index d3b19a49..99d1919d 100755 --- a/src/fenrir-package/fenrir.py +++ b/src/fenrir-package/fenrir.py @@ -100,6 +100,9 @@ class fenrir(): if self.environment['runtime']['punctuationManager']: self.environment['runtime']['punctuationManager'].shutdown() del self.environment['runtime']['punctuationManager'] + if self.environment['runtime']['reviewManager']: + self.environment['runtime']['reviewManager'].shutdown() + del self.environment['runtime']['reviewManager'] if self.environment['runtime']['debug']: self.environment['runtime']['debug'].shutdown()