diff options
Diffstat (limited to 'base/server/src/scriptlets/finalization.py')
| -rw-r--r-- | base/server/src/scriptlets/finalization.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/base/server/src/scriptlets/finalization.py b/base/server/src/scriptlets/finalization.py index 45b4a3ceb..529f9d45d 100644 --- a/base/server/src/scriptlets/finalization.py +++ b/base/server/src/scriptlets/finalization.py @@ -53,8 +53,9 @@ class PkiScriptlet(pkiscriptlet.AbstractBasePkiScriptlet): extra=config.PKI_INDENTATION_LEVEL_2) # for record in manifest.database: # print tuple(record) - manifest.file.register(deployer.master_dict['pki_manifest']) - manifest.file.write() + manifest_file = manifest.File(deployer.manifest_db) + manifest_file.register(deployer.master_dict['pki_manifest']) + manifest_file.write() deployer.file.modify(deployer.master_dict['pki_manifest'], silent=True) # Also, for debugging/auditing purposes, save a timestamped copy of |