Hello Tommi,

On Friday March 29 2019 17:49, you wrote to Bj”rn Felten:

 BF>>    It's happened two times now, that my binkd suddenly "died".

 TK> I don't think it "dies". I see the same happening also, it just exits.
 TK> I don't now why but it is related to the config change. Here only in
 TK> Windows, not in OS/2 or Linux.

I have always had the same problem, never was able to solve it. I just disabled 
binkd reloading on a change of config.


Cheers, Michiel

--- GoldED+/W32-MSVC 1.1.5-b20130111