didLeave method

void didLeave(
  1. HarborController harbor
)

harbor has left the fleet: it was removed from the tree. Its handle no longer changes anything.

Implementation

void didLeave(final HarborController harbor) {}