debugger-agent: save progress