Re: [basex-talk] deadlock in BaseXServer 6.2.7