pothos-gui: non-static server shutdown on scope exit