rxgraph is not refreshed properly when a publisher shuts down
rxgraph is not refreshed properly when a publisher shuts down but the node handle stays alive. More exactly, the arrow in the graph stays, but the list of topics (in the right pane) is updated properly.
To reproduce, create a node with a publisher, create another node with a subscriber, observe the connection in rxgraph, then call shutdown on the publisher while leaving the node running, and finally observe that the two nodes are still shown as connected.
Is this a bug, or does it have an intended behavior?