Console not closing ... problem gone

[vefatica]

The console_not_closing_promptly problem I have been complaining about for months is gone. Rex, did you identify its cause specifically?

 

[rconn]

> The console_not_closing_promptly problem I have been complaining
>about for months is gone. Rex, did you identify its cause specifically?

No. It was never reproducible and I didn't change any of the shutdown code.