We use it during shutdown. This whole structure is specific to this actor,  
and should not be used anywhere else.