agent_deactivated

Description:

public signal void agent_deactivated (Factory factory)

Emitted when switching away from factory to a different factory, before #agent_activated for the newly selected factory.