Re: [patch 3/8] Command `set agent on|off'

Pedro Alves
2012-02-09T20:19:16Z

On 01/23/2012 01:50 PM, Yao Qi wrote:
> We want to leave users to decide whether they want to use agent or not,
> so we add a new command `set agent on|off' in this patch.
>

Looks fine to me, modulo the consideration for what happens on error,
pointed in the other patch.

--
Pedro Alves