Re: [basex-talk] a possible enhancement to program exit