1
0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-10-01 00:30:13 +02:00

Merge branch 'metadata-write-int' into 'master'

metadata: write values of TYPE_INT fields

See merge request fdroid/fdroidserver!456
This commit is contained in:
Hans-Christoph Steiner 2018-02-12 10:57:38 +00:00
commit 2238b5cafd

View 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')