mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 15:00:30 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Integer fields cannot have leading zeros

Browse source
This commit is contained in:
Daniel Martí 2014-01-02 19:16:11 +01:00
parent 7a39772c2f
commit d72f671be4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/metadata.py
View file

@ -75,7 +75,7 @@ class FieldType():
# Generic value types # Generic value types
valuetypes = { valuetypes = {
'int' : FieldType("Integer", 'int' : FieldType("Integer",
r'^[0-9]+$', None, r'^[1-9][0-9]*$', None,
[ 'FlattrID' ], [ 'FlattrID' ],
[ 'vercode' ]), [ 'vercode' ]),