kamp/fdroidserver
1
0
Fork 0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-11-04 14:30:11 +01:00
Code Activity

Integer fields cannot have leading zeros

Browse Source
This commit is contained in:
Daniel Martí 2014-01-02 19:16:11 +01:00
parent a0cadda69c
commit 8ade1e7133
1 changed files with 1 additions and 1 deletions
Show Stats 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
valuetypes = {
'int' : FieldType("Integer",
r'^[0-9]+$', None,
r'^[1-9][0-9]*$', None,
[ 'FlattrID' ],
[ 'vercode' ]),