diff -r e28b89693f37 -r 299802979277 src/eric7/EricNetwork/EricJsonServer.py --- a/src/eric7/EricNetwork/EricJsonServer.py Tue Dec 19 11:04:03 2023 +0100 +++ b/src/eric7/EricNetwork/EricJsonServer.py Tue Dec 19 19:57:08 2023 +0100 @@ -228,6 +228,7 @@ @param clientScript path to the client script @type str @param clientArgs list of arguments for the client + @type list of str @param idString id of the client to be started @type str @param environment dictionary of environment settings to pass