Add timestamp to index

diff --git a/fdroidserver/update.py b/fdroidserver/update.py
index ed9476c83019a66cc83d66d0c21624378652d206..93e1cccda9d75748cc0e689d3cd22148084ca3be 100644 (file)
--- a/fdroidserver/update.py
+++ b/fdroidserver/update.py
@@ -479,6 +479,7 @@ def make_index(apps, apks, repodir, archive, categories):
         repoel.setAttribute("icon", os.path.basename(config['repo_icon']))
         repoel.setAttribute("url", config['repo_url'])
         addElement('description', config['repo_description'], doc, repoel)
+    repoel.setAttribute("timestamp", str(int(time.time())))
 
     if config['repo_keyalias'] is not None: