Re: [basex-talk] UPDINDEX fails; command basexserver does not work