49 self._write('<!DOCTYPE Session SYSTEM "Session-%s.dtd">' % \ |
49 self._write('<!DOCTYPE Session SYSTEM "Session-%s.dtd">' % \ |
50 sessionFileFormatVersion) |
50 sessionFileFormatVersion) |
51 |
51 |
52 # add some generation comments |
52 # add some generation comments |
53 if not isGlobal: |
53 if not isGlobal: |
54 self._write("<!-- eric4 session file for project %s -->" % self.name) |
54 self._write("<!-- eric5 session file for project %s -->" % self.name) |
55 self._write("<!-- This file was generated automatically, do not edit. -->") |
55 self._write("<!-- This file was generated automatically, do not edit. -->") |
56 if Preferences.getProject("XMLTimestamp") or isGlobal: |
56 if Preferences.getProject("XMLTimestamp") or isGlobal: |
57 self._write("<!-- Saved: %s -->" % time.strftime('%Y-%m-%d, %H:%M:%S')) |
57 self._write("<!-- Saved: %s -->" % time.strftime('%Y-%m-%d, %H:%M:%S')) |
58 |
58 |
59 # add the main tag |
59 # add the main tag |