53 sessionFileFormatVersion)) |
53 sessionFileFormatVersion)) |
54 |
54 |
55 # add some generation comments |
55 # add some generation comments |
56 if not isGlobal: |
56 if not isGlobal: |
57 self.writeComment( |
57 self.writeComment( |
58 " eric5 session file for project {0} ".format(self.name)) |
58 " eric6 session file for project {0} ".format(self.name)) |
59 self.writeComment( |
59 self.writeComment( |
60 " This file was generated automatically, do not edit. ") |
60 " This file was generated automatically, do not edit. ") |
61 if Preferences.getProject("XMLTimestamp") or isGlobal: |
61 if Preferences.getProject("XMLTimestamp") or isGlobal: |
62 self.writeComment( |
62 self.writeComment( |
63 " Saved: {0} ".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
63 " Saved: {0} ".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |