diff options
author | Rob Austein <sra@hactrn.net> | 2016-04-28 18:06:24 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2016-04-28 18:06:24 +0000 |
commit | 91cbf856f28c6677d35eeb5ee42dd539bf93e171 (patch) | |
tree | 3ac4b81567d14403c115c4681dd08864a5a6ecb3 | |
parent | fe2f853e7bec8d6966b6f8ee59c177c4606a30da (diff) |
Pull rootd-specific ca-pickle hacks from trunk/.
svn path=/branches/tk705/; revision=6400
-rwxr-xr-x | potpourri/ca-pickle.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/potpourri/ca-pickle.py b/potpourri/ca-pickle.py index 2c63e978..5b88f3f9 100755 --- a/potpourri/ca-pickle.py +++ b/potpourri/ca-pickle.py @@ -65,6 +65,13 @@ for section in cfg.cfg.sections(): if os.path.isfile( cooked_config[section][option]): filenames.append(cooked_config[section][option]) +# Sigh, even here we need special hacks for rootd, which handles filenames a bit differently. +rootd_dir = cfg.get(section = "rootd", option = "rpki-root-dir", default = "") +for option in ("rpki-root-crl", "rpki-root-manifest", "rpki-subject-cert"): + fn = os.path.join(rootd_dir, cfg.get(section = "rootd", option = option, default = "")) + if os.path.isfile(fn): + filenames.append(fn) + for i, fn in enumerate(filenames): filenames[i] = os.path.abspath(fn) |