IDE: fix exception happening in debug mode when logging process termination.

2022-05-26, Edouard Tisserant