Re: [basex-talk] exception when interrupting BaseX server