src/eric7/Sessions/SessionFile.py

branch
eric7
changeset 10967
454391fb0bdf
parent 10958
79842be466d3
child 10968
b462c3d33ca0
equal deleted inserted replaced
10966:2ae7fc2a852b 10967:454391fb0bdf
71 ] = "This file was generated automatically, do not edit." 71 ] = "This file was generated automatically, do not edit."
72 72
73 if Preferences.getProject("TimestampFile") or self.__isGlobal: 73 if Preferences.getProject("TimestampFile") or self.__isGlobal:
74 sessionDict["header"]["saved"] = time.strftime("%Y-%m-%d, %H:%M:%S") 74 sessionDict["header"]["saved"] = time.strftime("%Y-%m-%d, %H:%M:%S")
75 75
76 # TODO: save currently connected server (host and port)
77 # step 1: eric-ide Server Connection 76 # step 1: eric-ide Server Connection
78 # ================================== 77 # ==================================
79 sessionDict["RemoteServer"] = ( 78 sessionDict["RemoteServer"] = (
80 serverInterface.getHost() if serverInterface.isServerConnected() else "" 79 serverInterface.getHost() if serverInterface.isServerConnected() else ""
81 ) 80 )

eric ide

mercurial