Fri, 10 Sep 2021 14:44:20 +0200IDE/windows: Avoid exception on quit caused by runtime being killed without disconnecting.
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 10 Sep 2021 14:44:20 +0200] rev 3348
IDE/windows: Avoid exception on quit caused by runtime being killed without disconnecting.