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 ) |