diff options
| author | Rob Austein <sra@hactrn.net> | 2014-07-15 19:34:32 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2014-07-15 19:34:32 +0000 |
| commit | a35ce7f496890d47b2c116efb15da992b7622d40 (patch) | |
| tree | 94bfeac62f94f5769b0bb0ce18611c2b5132271b /rpki/rtr | |
| parent | 5d343deb9a0f5c437fa05642f59d4a31f67ea798 (diff) | |
| parent | b3a6a36b0ba3fbe7dd4d5bc5ddf98a36b6f87a56 (diff) | |
Checkpoint. Merge changes from trunk. Add hash-based withdrawal
checks and <list/> command to publication protocol.
svn path=/branches/tk705/; revision=5896
Diffstat (limited to 'rpki/rtr')
| -rw-r--r-- | rpki/rtr/server.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpki/rtr/server.py b/rpki/rtr/server.py index b3e4fd7c..1c7a5e78 100644 --- a/rpki/rtr/server.py +++ b/rpki/rtr/server.py @@ -324,7 +324,7 @@ class ServerChannel(rpki.rtr.channels.PDUChannel): old_serial = self.current_serial return old_serial != self.get_serial() - def notify(self, data = None): + def notify(self, data = None, force = False): """ Cronjob instance kicked us: check whether our serial number has changed, and send a notify message if so. @@ -335,7 +335,7 @@ class ServerChannel(rpki.rtr.channels.PDUChannel): whether we care about a particular change set or not. """ - if self.check_serial(): + if force or self.check_serial(): self.push_pdu(SerialNotifyPDU(version = self.version, serial = self.current_serial, nonce = self.current_nonce)) |