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()