IDE: fix exception when quitting after using WAMP

15 months ago, Edouard Tisserant