Asim Aslam 324c4e6886
Router refresh (#1912)
* checkpoint

* Refresh and prune routes periodically in the registry router

* remove comment
2020-08-07 20:53:38 +01:00
..
2020-07-27 13:22:00 +01:00
2020-08-07 20:53:38 +01:00
2020-08-07 20:53:38 +01:00
2020-08-07 20:53:38 +01:00
2020-07-27 13:22:00 +01:00