WebBrowser/Session/SessionManager.py

changeset 5785
7c7c5f9e4fad
parent 5783
44a9f08de394
child 5793
4ff73b969ab1
equal deleted inserted replaced
5784:362bbcc49ac1 5785:7c7c5f9e4fad
202 202
203 sessionData["Windows"].append(data) 203 sessionData["Windows"].append(data)
204 204
205 if window is activeWindow: 205 if window is activeWindow:
206 sessionData["CurrentWindowIndex"] = \ 206 sessionData["CurrentWindowIndex"] = \
207 len(sessionData["Windows"]) -1 207 len(sessionData["Windows"]) - 1
208 208
209 if sessionData["Windows"]: 209 if sessionData["Windows"]:
210 sessionFile = open(sessionFileName, "w") 210 sessionFile = open(sessionFileName, "w")
211 json.dump(sessionData, sessionFile, indent=2) 211 json.dump(sessionData, sessionFile, indent=2)
212 sessionFile.close() 212 sessionFile.close()

eric ide

mercurial