BeremizIDE.py
changeset 1718 703ddaf48b00
parent 1708 24416137cda7
child 1720 f974476b16bb
--- a/BeremizIDE.py	Wed Jul 05 13:11:45 2017 +0300
+++ b/BeremizIDE.py	Fri Jul 14 18:26:20 2017 +0300
@@ -1166,7 +1166,7 @@
         if ex not in ignored_exceptions:
             ignored_exceptions.append(ex)
             date = time.ctime()
-            bug_report_path = path + os.sep + "bug_report_" + date.replace(':', '-').replace(' ', '_') + ".txt"
+            bug_report_path = path + os.sep + "bug_report_" + time.strftime("%Y_%m_%d__%H-%M-%S") + ".txt"
             save_bug_report(e_type, e_value, e_traceback, bug_report_path, date)
             Display_Exception_Dialog(e_type, e_value, e_traceback, bug_report_path)
     #sys.excepthook = lambda *args: wx.CallAfter(handle_exception, *args)