Update fenrir.py

This commit is contained in:
chrys87 2016-09-23 12:30:16 +02:00 committed by GitHub
parent 1276172eb7
commit 68187b460e

View File

@ -101,9 +101,9 @@ class fenrir():
if self.environment['runtime']['punctuationManager']: if self.environment['runtime']['punctuationManager']:
self.environment['runtime']['punctuationManager'].shutdown() self.environment['runtime']['punctuationManager'].shutdown()
del self.environment['runtime']['punctuationManager'] del self.environment['runtime']['punctuationManager']
if self.environment['runtime']['reviewManager']: if self.environment['runtime']['cursorManager']:
self.environment['runtime']['reviewManager'].shutdown() self.environment['runtime']['cursorManager'].shutdown()
del self.environment['runtime']['reviewManager'] del self.environment['runtime']['cursorManager']
if self.environment['runtime']['applicationManager']: if self.environment['runtime']['applicationManager']:
self.environment['runtime']['applicationManager'].shutdown() self.environment['runtime']['applicationManager'].shutdown()
del self.environment['runtime']['applicationManager'] del self.environment['runtime']['applicationManager']