Re: [basex-talk] Stopping BaseX HTTP server