diff options
| -rw-r--r-- | rpkid/rpki/publication.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpkid/rpki/publication.py b/rpkid/rpki/publication.py index d4e77de6..c1dead45 100644 --- a/rpkid/rpki/publication.py +++ b/rpkid/rpki/publication.py @@ -215,7 +215,7 @@ class publication_object_elt(rpki.xml_utils.base_elt, publication_namespace): """ Publish an object. """ - rpki.log.info("Publishing %s as %s" % (repr(self.payload), repr(self.uri))) + rpki.log.info("Publishing %r as %r" % (self.payload, self.uri)) filename = self.uri_to_filename() dirname = os.path.dirname(filename) if not os.path.isdir(dirname): @@ -228,7 +228,7 @@ class publication_object_elt(rpki.xml_utils.base_elt, publication_namespace): """ Withdraw an object. """ - rpki.log.info("Withdrawing %s" % repr(self.uri)) + rpki.log.info("Withdrawing %r" % (self.uri,)) os.remove(self.uri_to_filename()) def uri_to_filename(self): |