chiark / gitweb /
cmdlistener: Call remove_occultation when occulter removed
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 23:19:39 +0000 (23:19 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 14 Mar 2021 23:19:39 +0000 (23:19 +0000)
commit319d42f938eda19111bb03631d4e438b360ad5a7
tree2e4ab10437c6478199c0a1c49cfd26ed569820e4
parente2e7812fff8f4cc49e0d9124d2c3d62b235ccda5
cmdlistener: Call remove_occultation when occulter removed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs