Re: [basex-talk] gui vs. server