Update fenrir.py

This commit is contained in:
chrys87 2016-09-22 17:06:25 +02:00 committed by GitHub
parent 70ff8fa40a
commit 2ee681b513

View File

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