Re: [PATCH 04/15] Comment changes

Gary Benson
2014-06-17T16:10:31Z

Pedro Alves wrote:
> On 06/17/2014 03:12 PM, Gary Benson wrote:
> > This commit fixes various whitespace differences between
>
> s/whitespace/comment/

Oops :)

> > /* In non-stop/async, threads can be running while we change the
> > - STATE (and friends). Say, we set a watchpoint, and let threads
>
> > + global dr_mirror (and friends). Say, we set a watchpoint, and
> > + let threads resume. Now, say you delete the watchpoint, or
>
> Wrong direction, here, I'm afraid. There's no _global_ dr_mirror
> anymore. There used to be one, before multi-process.

Is s/global dr_mirror/dr_mirror/ ok, or something else?

Cheers,
Gary

--