diff options
Diffstat (limited to 'rpkid/rpki/publication.py')
| -rw-r--r-- | rpkid/rpki/publication.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki/publication.py b/rpkid/rpki/publication.py index a899c0ca..38294d59 100644 --- a/rpkid/rpki/publication.py +++ b/rpkid/rpki/publication.py @@ -257,7 +257,7 @@ class publication_object_elt(rpki.xml_utils.base_elt, publication_namespace): for i in xrange(4): u = self.uri.index("/", u + 1) filename = self.gctx.publication_base.rstrip("/") + self.uri[u:] - if filename.find("//") >= 0 or filename.find("/../") >= 0 or filename.endswith("/.."): + if "//" in filename or "/../" in filename or filename.endswith("/.."): raise rpki.exceptions.BadURISyntax, filename return filename |