Sun, 09 Jun 2019 11:09:54 +0200
UserInterface: cope with a situation where self.__webBrowserProcess is None for some unknown reason.
eric6/UI/UserInterface.py | file | annotate | diff | comparison | revisions |
--- a/eric6/UI/UserInterface.py Wed Jun 05 19:48:53 2019 +0200 +++ b/eric6/UI/UserInterface.py Sun Jun 09 11:09:54 2019 +0200 @@ -5938,7 +5938,7 @@ """ Private slot handling the end of the external web browser process. """ - self.__webBrowserProcess.deleteLater() + self.__webBrowserProcess and self.__webBrowserProcess.deleteLater() self.__webBrowserProcess = None self.__webBrowserClient = None