Adding comment to document why we made this change

This commit is contained in:
mwobensmith 2019-05-29 19:44:27 -07:00
Родитель 73643f76f9
Коммит 946b2b303a
1 изменённых файлов: 3 добавлений и 0 удалений

Просмотреть файл

@ -67,6 +67,9 @@ class FirefoxProfile(MozProfile):
def __init__(self):
self.profile = self.make_profile()
# Fix for issue #253 - MozProfile has an error on close.
# We work around this by monkeypatching the problematic method.
old_del = MozProfile.__del__
def new_del(self):