chiark / gitweb /
Merge branch 'metadata-write-int' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 10:57:38 +0000 (10:57 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 10:57:38 +0000 (10:57 +0000)
metadata: write values of TYPE_INT fields

See merge request fdroid/fdroidserver!456

fdroidserver/metadata.py

index 80c49a8ddff72c88af08f46e3eecf17dc8e48b10..380a3dd8424c851687cac61d809183ee49444216 100644 (file)
@@ -1521,7 +1521,7 @@ def write_txt(mf, app):
             if f == 'androidupdate':
                 f = 'update'  # avoid conflicting with Build(dict).update()
             mf.write('    %s=' % f)
-            if t == TYPE_STRING:
+            if t == TYPE_STRING or t == TYPE_INT:
                 mf.write(v)
             elif t == TYPE_BOOL:
                 mf.write('yes')