aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorteor <teor2345@gmail.com>2017-12-27 21:10:46 +1100
committerteor <teor2345@gmail.com>2018-01-05 13:27:47 +1100
commit9864fcd4e30e9afa2fa7a8bc25cf8399432a5796 (patch)
tree9a8997cac67ca6325dcfdd9a22e7d0300a28d3ff /scripts
parent70490df76a65387ea56fa2ed307faf5a4a152914 (diff)
downloadtor-9864fcd4e30e9afa2fa7a8bc25cf8399432a5796.tar.gz
tor-9864fcd4e30e9afa2fa7a8bc25cf8399432a5796.zip
Add a generated timestamp to the fallback directory header
This can act as a revision counter, as requested by atagar in 24742. Part of 24725.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/maint/updateFallbackDirs.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/maint/updateFallbackDirs.py b/scripts/maint/updateFallbackDirs.py
index 54b50c3779..4c0a30a5ef 100755
--- a/scripts/maint/updateFallbackDirs.py
+++ b/scripts/maint/updateFallbackDirs.py
@@ -2217,6 +2217,10 @@ def list_fallbacks(whitelist, blacklist):
print "/* type=fallback */"
print ("/* version={} */"
.format(cleanse_c_multiline_comment(FALLBACK_FORMAT_VERSION)))
+ now = datetime.datetime.utcnow()
+ timestamp = now.strftime('%Y%m%d%H%M%S')
+ print ("/* timestamp={} */"
+ .format(cleanse_c_multiline_comment(timestamp)))
# end the header with a separator, to make it easier for parsers
print SECTION_SEPARATOR_COMMENT