Add buildserver details to AndroidManifest.xml

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index d834cab08b9df0ca2511b8dcf98b103656a1a83c..9a47124a9f1a2ee7c350b085a793cea88a64ea4c 100644 (file)
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -470,6 +470,22 @@ def build_local(app, thisbuild, vcs, build_dir, output_dir, srclib_dir, extlib_d
         tarball.add(build_dir, tarname, exclude=tarexc)
         tarball.close()
 
+    if onserver:
+        manifest = os.path.join(root_dir, 'AndroidManifest.xml')
+        if os.path.exists(manifest):
+            with open('/home/vagrant/buildserverid', 'r') as f:
+                buildserverid = f.read()
+            with open('/home/vagrant/fdroidserverid', 'r') as f:
+                fdroidserverid = f.read()
+            with open(manifest, 'r') as f:
+                manifestcontent = f.read()
+            manifestcontent = manifestcontent.replace('</manifest>',
+                    '<fdroid buildserverid="' + buildserverid + '"' + 
+                    ' fdroidserverid="' + fdroidserverid + '"' +
+                    '/></manifest>')
+            with open(manifest, 'w') as f:
+                f.write(manifestcontent)
+
     # Run a build command if one is required...
     if 'build' in thisbuild:
         cmd = common.replace_config_vars(thisbuild['build'])