Re: [basex-talk] Embedded BaseX server restart