diff options
| author | Rob Austein <sra@hactrn.net> | 2010-11-10 04:19:51 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2010-11-10 04:19:51 +0000 |
| commit | 4078f96bed81277ca155d57ef6a8fae5523729ce (patch) | |
| tree | 31b837e1e65871493f4b7ad4aa654c8b774417a3 /rpkid/rpki | |
| parent | 3d7748a4283d6bcc89f373307a6dba967f7faf32 (diff) | |
Change all occurance of ".mnf" to ".mft" because:
a) no software should care and
b) it's less work to change my code to match the revisionist text in the
current draft than it would be to argue about what the one true
filename extension for manifests should be.
svn path=/rpkid/rootd.py; revision=3545
Diffstat (limited to 'rpkid/rpki')
| -rw-r--r-- | rpkid/rpki/__doc__.py.in | 2 | ||||
| -rw-r--r-- | rpkid/rpki/rpki_engine.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/rpkid/rpki/__doc__.py.in b/rpkid/rpki/__doc__.py.in index 7b2b280b..257c30b0 100644 --- a/rpkid/rpki/__doc__.py.in +++ b/rpkid/rpki/__doc__.py.in @@ -1385,7 +1385,7 @@ # # @par @c rpki-root-manifest: # Name of file to which rootd should save its -# RPKI manifest. Default is "Root.mnf". +# RPKI manifest. Default is "Root.mft". # # @par @c rpki-subject-pkcs10: # Name of file that rootd should use when saving diff --git a/rpkid/rpki/rpki_engine.py b/rpkid/rpki/rpki_engine.py index ba7f1cf7..2247787f 100644 --- a/rpkid/rpki/rpki_engine.py +++ b/rpkid/rpki/rpki_engine.py @@ -586,7 +586,7 @@ class ca_detail_obj(rpki.sql.sql_persistent): def manifest_uri(self, ca): """Return publication URI for this ca_detail's manifest.""" - return ca.sia_uri + self.public_key.gSKI() + ".mnf" + return ca.sia_uri + self.public_key.gSKI() + ".mft" def activate(self, ca, cert, uri, callback, errback, predecessor = None): """ |