Call setDefaultAgentInConfig when switching workspaces so the gateway picks up the active workspace agent.