diff options
| -rw-r--r-- | rpkid/rpki/rpkic.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/rpki/rpkic.py b/rpkid/rpki/rpkic.py index 6af63126..aed41680 100644 --- a/rpkid/rpki/rpkic.py +++ b/rpkid/rpki/rpkic.py @@ -228,6 +228,7 @@ class main(rpki.cli.Cmd): self.zoo.update_bpki() self.zoo.write_bpki_files() + self.zoo.synchronize() def do_configure_child(self, arg): |