--- a/eric7/Documentation/Source/eric7.EricNetwork.EricJsonServer.html Mon May 02 15:53:05 2022 +0200 +++ b/eric7/Documentation/Source/eric7.EricNetwork.EricJsonServer.html Wed Jun 01 13:48:49 2022 +0200 @@ -148,7 +148,7 @@ <dt><i>idString</i> (str)</dt> <dd> -id of the connection been disconnected +id of the connection </dd> </dl> <a NAME="EricJsonServer.connectionNames" ID="EricJsonServer.connectionNames"></a>