53 "comment": "eric debugger properties file for project {0}".format( |
53 "comment": "eric debugger properties file for project {0}".format( |
54 self.__project.getProjectName()), |
54 self.__project.getProjectName()), |
55 "warning": "This file was generated automatically, do not edit.", |
55 "warning": "This file was generated automatically, do not edit.", |
56 } |
56 } |
57 |
57 |
58 # TODO: replace 'XMLTimestamp' by 'Timestamp' |
58 if Preferences.getProject("TimestampFile"): |
59 if Preferences.getProject("XMLTimestamp"): |
|
60 debuggerPropertiesDict["header"]["saved"] = ( |
59 debuggerPropertiesDict["header"]["saved"] = ( |
61 time.strftime('%Y-%m-%d, %H:%M:%S') |
60 time.strftime('%Y-%m-%d, %H:%M:%S') |
62 ) |
61 ) |
63 |
62 |
64 debuggerPropertiesDict["debug_properties"] = ( |
63 debuggerPropertiesDict["debug_properties"] = ( |