chiark / gitweb /
Be more specific when logging repository deletes
authorCiaran Gultnieks <ciaran@ciarang.com>
Wed, 25 Jun 2014 08:54:14 +0000 (09:54 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Wed, 25 Jun 2014 08:54:14 +0000 (09:54 +0100)
fdroidserver/common.py

index e2e64cebe4d253009d4b88f426d3f0244ccd7df5..b50c70630e69de9f92ad2b953a593cc640d543b7 100644 (file)
@@ -351,7 +351,9 @@ class vcs:
                     writeback = False
                 else:
                     deleterepo = True
-                    logging.info("Repository details changed - deleting")
+                    logging.info(
+                            "Repository details for {0} changed - deleting"
+                            .format(self.local))
             else:
                 deleterepo = True
                 logging.info("Repository details missing - deleting")