From cf852012ed9e175dc0c7ad70df8209aa0d040d31 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Fri, 3 Jan 2014 20:49:20 +0100
Subject: [PATCH] Start publishing indexes with index version "10"

---
 fdroidserver/update.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/fdroidserver/update.py b/fdroidserver/update.py
index aa606a7e..883bbb12 100644
--- a/fdroidserver/update.py
+++ b/fdroidserver/update.py
@@ -469,6 +469,7 @@ def make_index(apps, apks, repodir, archive, categories):
     doc.appendChild(root)
 
     repoel = doc.createElement("repo")
+
     if archive:
         repoel.setAttribute("name", config['archive_name'])
         if config['repo_maxage'] != 0:
@@ -476,6 +477,7 @@ def make_index(apps, apks, repodir, archive, categories):
         repoel.setAttribute("icon", os.path.basename(config['archive_icon']))
         repoel.setAttribute("url", config['archive_url'])
         addElement('description', config['archive_description'], doc, repoel)
+
     else:
         repoel.setAttribute("name", config['repo_name'])
         if config['repo_maxage'] != 0:
@@ -483,6 +485,8 @@ 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("version", "10")
     repoel.setAttribute("timestamp", str(int(time.time())))
 
     if config['repo_keyalias']: