metadata: write values of TYPE_INT fields

Otherwise we end up with empty values after "fdroid rewritemeta".

diff --git a/fdroidserver/metadata.py b/fdroidserver/metadata.py
index 80c49a8ddff72c88af08f46e3eecf17dc8e48b10..380a3dd8424c851687cac61d809183ee49444216 100644 (file)
--- a/fdroidserver/metadata.py
+++ b/fdroidserver/metadata.py
@@ -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')