From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Sun, 5 Dec 2010 11:29:31 +0000 (+0000)
Subject: Add an app id attribute to the index to make finding things easier
X-Git-Tag: 0.1~1613
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=f08f9c1b88b8d057eba2310a375e07219d45c567;p=fdroidserver.git

Add an app id attribute to the index to make finding things easier
---

diff --git a/update.py b/update.py
index 01fb2ef8..83bde2e2 100644
--- a/update.py
+++ b/update.py
@@ -192,6 +192,7 @@ for app in apps:
     if app['disabled'] is None:
         apps_inrepo += 1
         apel = doc.createElement("application")
+        apel.setAttribute("id", app['id'])
         root.appendChild(apel)
 
         addElement('id', app['id'], doc, apel)