Browse Source

Use today's date for new files.

pull/2705/head
Benoit Marty 5 months ago
parent
commit
5150c77c7c
  1. 4
      tools/test/generateAllScreenshots.py

4
tools/test/generateAllScreenshots.py

@ -18,6 +18,7 @@
import os import os
import re import re
import sys import sys
import time
from util import compare from util import compare
@ -134,6 +135,9 @@ def generateJavascriptFile():
if os.path.exists(translatedFile): if os.path.exists(translatedFile):
# Get the last modified date of the file in seconds and round to days # Get the last modified date of the file in seconds and round to days
date = os.popen("git log -1 --format=%ct -- \"" + translatedFile + "\"").read().strip() date = os.popen("git log -1 --format=%ct -- \"" + translatedFile + "\"").read().strip()
# if date is empty, use today's date
if date == "":
date = time.time()
dateDay = int(date) // 86400 dateDay = int(date) // 86400
dataForFile.append(dateDay) dataForFile.append(dateDay)
else: else:

Loading…
Cancel
Save