src/eric7/Sessions/SessionFile.py

branch
eric7
changeset 10967
454391fb0bdf
parent 10958
79842be466d3
child 10968
b462c3d33ca0
--- 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"] = (

eric ide

mercurial