when is scheduler.executorLost called?

[Henning Schmiedehausen]

Hi,

looking through the Mesos source code, especially sched/sched.cpp, there
are receivers installed for the following message types, which in turn
drive calls to the various scheduler methods:

* FrameworkRegisteredMessage drives scheduler-->registered()
* FrameworkReregisteredMessage drives scheduler->reregistered()
* ResourceOffersMessage drives scheduler->resourceOffers()
* RescindResourceOfferMessage drives scheduler->offerRescinded()
* StatusUpdateMessage drives scheduler->statusUpdate()
* LostSlaveMessage drives scheduler->slaveLost()
* ExecutorToFrameworkMessage drives scheduler->frameworkMessage()
* FrameworkErrorMessage drives scheduler->error()

However, I am unable to find the place which calls the
scheduler->executorLost() method. What am I missing?

Thanks for helping me out here,
    Henning