Hi Pedro,

> I'd prefer that a ranvenscar target_ops->to_close callback was
> implemented, so that if the target ends up closed without going
> through mourn_inferior (some paths do that presently):
> 
> static void
> ravenscar_close (int quitting)
> {
>   ranvenscar_is_open = 0;
> }

so many details, I don't know how you guys manage to remember them all!
Thanks for catching that.

> This is fine with me with that change.

Cool! Attached is what I'm planning on checking in tomorrow.

Thanks again,
-- 
Joel