Small fix to ant srclib numbers

diff --git a/fdroidserver/common.py b/fdroidserver/common.py
index e085be292872f5dbef89e30f7fb851ee1d2a9d18..1567bf7d083a37f2fef207ffe72da0d89c9c11f3 100644 (file)
--- a/fdroidserver/common.py
+++ b/fdroidserver/common.py
@@ -1650,7 +1650,7 @@ def prepare_source(vcs, app, build, build_dir, srclib_dir, extlib_dir, onserver=
                 name, subdir = name.split('/',1)
             libpath = getsrclib(name+'@'+ref, srclib_dir, srclibpaths, subdir, preponly=onserver)
             srclibpaths.append((name, number, libpath))
-            place_srclib(root_dir, int(number), libpath)
+            place_srclib(root_dir, int(number) if number else None, libpath)
                 
     basesrclib = vcs.getsrclib()
     # If one was used for the main source, add that too.