Integer fields cannot have leading zeros

diff --git a/fdroidserver/metadata.py b/fdroidserver/metadata.py
index 07a0cd3f980051a2ccd939de27510c1c21982a1d..fe6dc4c1ffc3a84bd52ab5733f63eb5f5bbea3e1 100644 (file)
--- a/fdroidserver/metadata.py
+++ b/fdroidserver/metadata.py
@@ -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' ]),