chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f06e336) | patch
fix bug including media files
authorHans-Christoph Steiner <hans@eds.org>
Thu, 8 Dec 2016 18:11:36 +0000 (19:11 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 28 Feb 2017 11:08:04 +0000 (12:08 +0100)
commit5214889bbd69d16a62e26ad1a9f729870303588e
tree45bdce37a9f53fc3e31515552633a3b5aa9dc0c1tree | snapshot
parentf06e33690455defdc484c3b332acec4b51b227dccommit | diff
fix bug including media files

'name' is not the full path, so it'll always fail common.is_repo_file()'s
os.path.isfile() check.

Introduced in 56d51fcd6be992c7bbc38431db06817816c1e08e
fdroidserver/update.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.