--- a/src/eric7/Sessions/SessionFile.py Fri Oct 11 11:49:35 2024 +0200 +++ b/src/eric7/Sessions/SessionFile.py Fri Oct 11 18:23:07 2024 +0200 @@ -73,7 +73,6 @@ if Preferences.getProject("TimestampFile") or self.__isGlobal: sessionDict["header"]["saved"] = time.strftime("%Y-%m-%d, %H:%M:%S") - # TODO: save currently connected server (host and port) # step 1: eric-ide Server Connection # ================================== sessionDict["RemoteServer"] = (