From db5ed265178c961bb3111da5f0bbbd737c84d5ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20P=C3=B6hn?= <michael.poehn@fsfe.org>
Date: Thu, 12 Jul 2018 23:04:05 +0200
Subject: [PATCH] publish: avoid double removal of dev-supplied reference
 binary

---
 fdroidserver/publish.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/fdroidserver/publish.py b/fdroidserver/publish.py
index 7c7082a7..ea9b20d3 100644
--- a/fdroidserver/publish.py
+++ b/fdroidserver/publish.py
@@ -248,6 +248,9 @@ def main():
                 if compare_result:
                     logging.error("...verification failed - publish skipped : "
                                   "{result}".format(result=compare_result))
+                    os.remove(srcapk)
+                    logging.debug('remvoed developer supplied reference binary: {path}'
+                                  .format(path=srcapk))
                 else:
                     # Success! So move the downloaded file to the repo, and remove
                     # our built version.