diff -r fd8b7692c03d -r ec110553c5ab src/eric7/RemoteServerInterface/EricServerEditorConfigInterface.py --- a/src/eric7/RemoteServerInterface/EricServerEditorConfigInterface.py Tue Jun 11 17:12:23 2024 +0200 +++ b/src/eric7/RemoteServerInterface/EricServerEditorConfigInterface.py Tue Jun 11 17:22:09 2024 +0200 @@ -39,8 +39,8 @@ @type str @return dictionary containing the editor config data @rtype dict - @exception EditorConfigError raised to indicate an issue loading the editor - config + @exception editorconfig.EditorConfigError raised to indicate an + issue loading the editor config """ loop = QEventLoop() ok = False @@ -62,7 +62,6 @@ config = params["config"] loop.quit() - if not self.__serverInterface.isServerConnected(): raise editorconfig.EditorConfigError( "Not connected to an 'eric-ide' server."