chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07ce948) | patch
reuse os.stat() result when checking for non-APK files
authorHans-Christoph Steiner <hans@eds.org>
Wed, 2 Nov 2016 14:50:34 +0000 (15:50 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 2 Nov 2016 17:10:13 +0000 (18:10 +0100)
commit8e45d300208d4eadd104c2791bc93f7d4505d71c
tree3585f67486fc6879a5eafc152fec3837d0156b8etree | snapshot
parent07ce9488097c1361c1cc1a515773fb73199550bfcommit | diff
reuse os.stat() result when checking for non-APK files

This should make things a bit more efficient when running on lots of files,
unless python was already caching the result...
fdroidserver/update.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.