Hi! Henrik Ahlgren: > However I still cannot get the "stop server automatically" checkbox > in the GUI to work as expected. thank you for your bug report. I'll look into it soon. Cheers! u.