basex configuration file

Am 01.10.2011 um 02:30 schrieb developer loke: > Hi. I am looking for options to configure the server as documented in > the Wiki, but I can not find .basex file anywhere, and there seems to > be no documentation on the Wiki. I am specifically looking for > settings to bind the server to a particular IP address. > > Thanks > Loke > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

On 10/1/11, Jens Erat <jens.erat at uni-konstanz.de> wrote: > Hi Loke, > > you will find it in your home directory (Unix: ~, Windows: %UserProfile%). > If using some Unix system, the file may be hidden (dot-file). > > Regards from Lake Constance, > Jens Erat > > -- > Jens Erat > > [phone]: tel:+49-151-56961126 > [mail]: mailto:email at jenserat.de > [jabber]: xmpp:jabber at jenserat.de > [web]: http://www.jenserat.de > > PGP: 350E D9B6 9ADC 2DED F5F2 8549 CBC2 613C D745 722B > > Am 01.10.2011 um 02:30 schrieb developer loke: > >> Hi. I am looking for options to configure the server as documented in >> the Wiki, but I can not find .basex file anywhere, and there seems to >> be no documentation on the Wiki. I am specifically looking for >> settings to bind the server to a particular IP address. >> >> Thanks >> Loke >> _______________________________________________ >> BaseX-Talk mailing list >> BaseX-Talk at mailman.uni-konstanz.de >> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk > >

>>> Hi. I am looking for options to configure the server as documented in >>> the Wiki, but I can not find .basex file anywhere, and there seems to >>> be no documentation on the Wiki.

> I found the config files, but how do I bind the server to one ip > address, or to just localhost, because though I can see HOST = > localhost, I am still able to connect to it from different machines.

On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün <christian.gruen at gmail.com> wrote: > Hi Loke, > > thanks for requesting a Wiki account! > >>>> Hi. I am looking for options to configure the server as documented in >>>> the Wiki, but I can not find .basex file anywhere, and there seems to >>>> be no documentation on the Wiki. > > In addition to Jens' comments, you may check out the following Wiki page: > > http://docs.basex.org/wiki/Configuration > >> I found the config files, but how do I bind the server to one ip >> address, or to just localhost, because though I can see HOST = >> localhost, I am still able to connect to it from different machines. > > The server can only be locally started, which is why there is no > option for the server host. Instead, HOST is used by the client to > connect to a default server; see: > > http://docs.basex.org/wiki/Options > > Hope this helps, > Christian >

On Sunday 02 October 2011 23:18:43 developer loke wrote: > Hi Christian, > I have checked this page. It seems to contain no info about the > configuration variables themselves. Also, I have been able to connect > to the locally started server from a remote IP address, which will > happen only when a locally started server listens on all the ip > addresses. I would like to make it bind to a particular address like > MySQL and not have to worry about all the other IP addresses. > > Thanks > Loke > > On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün > > <christian.gruen at gmail.com> wrote: > > Hi Loke, > > > > thanks for requesting a Wiki account! > > > >>>> Hi. I am looking for options to configure the server as documented in > >>>> the Wiki, but I can not find .basex file anywhere, and there seems to > >>>> be no documentation on the Wiki. > > > > In addition to Jens' comments, you may check out the following Wiki page: > > > > http://docs.basex.org/wiki/Configuration > > > >> I found the config files, but how do I bind the server to one ip > >> address, or to just localhost, because though I can see HOST = > >> localhost, I am still able to connect to it from different machines. > > > > The server can only be locally started, which is why there is no > > option for the server host. Instead, HOST is used by the client to > > connect to a default server; see: > > > > http://docs.basex.org/wiki/Options > > > > Hope this helps, > > Christian > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

Am 03.10.2011 um 11:42 schrieb Ralf Jung: > Hi, > > yes, I already looked for that same feature and could not find it yet. > For security reasons, I don't want anyone outside of the server machine to be > able to connect to BaseX, Jetty should listen for incoming connections on > localhost only. > It is common for every server software to have such a configuration, somewhere. > I assume that's what you are looking for, too, Loke? > > Kind regards, > Ralf > > On Sunday 02 October 2011 23:18:43 developer loke wrote: >> Hi Christian, >> I have checked this page. It seems to contain no info about the >> configuration variables themselves. Also, I have been able to connect >> to the locally started server from a remote IP address, which will >> happen only when a locally started server listens on all the ip >> addresses. I would like to make it bind to a particular address like >> MySQL and not have to worry about all the other IP addresses. >> >> Thanks >> Loke >> >> On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün >> >> <christian.gruen at gmail.com> wrote: >>> Hi Loke, >>> >>> thanks for requesting a Wiki account! >>> >>>>>> Hi. I am looking for options to configure the server as documented in >>>>>> the Wiki, but I can not find .basex file anywhere, and there seems to >>>>>> be no documentation on the Wiki. >>> >>> In addition to Jens' comments, you may check out the following Wiki page: >>> >>> http://docs.basex.org/wiki/Configuration >>> >>>> I found the config files, but how do I bind the server to one ip >>>> address, or to just localhost, because though I can see HOST = >>>> localhost, I am still able to connect to it from different machines. >>> >>> The server can only be locally started, which is why there is no >>> option for the server host. Instead, HOST is used by the client to >>> connect to a default server; see: >>> >>> http://docs.basex.org/wiki/Options >>> >>> Hope this helps, >>> Christian >> >> _______________________________________________ >> BaseX-Talk mailing list >> BaseX-Talk at mailman.uni-konstanz.de >> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

On Monday 03 October 2011 14:05:45 Jens Erat wrote: > Hi Loke, hi Ralf, > > BaseX missed the possibility to bind the server to a hostname. Christian > just merged my tweak to add this. Feel free to pull the current developer > version from [github][1]! The tweak will also be included in this month's > expected 6.8 release. > > Regards from Lake Constance, > Jens > > [1]: https://github.com/BaseXdb/basex > > > Hi, > > > > yes, I already looked for that same feature and could not find it yet. > > For security reasons, I don't want anyone outside of the server machine > > to be able to connect to BaseX, Jetty should listen for incoming > > connections on localhost only. > > It is common for every server software to have such a configuration, > > somewhere. I assume that's what you are looking for, too, Loke? > > > > Kind regards, > > Ralf > > > > On Sunday 02 October 2011 23:18:43 developer loke wrote: > >> Hi Christian, > >> I have checked this page. It seems to contain no info about the > >> configuration variables themselves. Also, I have been able to connect > >> to the locally started server from a remote IP address, which will > >> happen only when a locally started server listens on all the ip > >> addresses. I would like to make it bind to a particular address like > >> MySQL and not have to worry about all the other IP addresses. > >> > >> Thanks > >> Loke > >> > >> On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün > >> > >> <christian.gruen at gmail.com> wrote: > >>> Hi Loke, > >>> > >>> thanks for requesting a Wiki account! > >>> > >>>>>> Hi. I am looking for options to configure the server as documented > >>>>>> in the Wiki, but I can not find .basex file anywhere, and there > >>>>>> seems to be no documentation on the Wiki. > >>> > >>> In addition to Jens' comments, you may check out the following Wiki > >>> page: > >>> > >>> http://docs.basex.org/wiki/Configuration > >>> > >>>> I found the config files, but how do I bind the server to one ip > >>>> address, or to just localhost, because though I can see HOST = > >>>> localhost, I am still able to connect to it from different machines. > >>> > >>> The server can only be locally started, which is why there is no > >>> option for the server host. Instead, HOST is used by the client to > >>> connect to a default server; see: > >>> > >>> http://docs.basex.org/wiki/Options > >>> > >>> Hope this helps, > >>> Christian > >> > >> _______________________________________________ > >> BaseX-Talk mailing list > >> BaseX-Talk at mailman.uni-konstanz.de > >> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk > > > > _______________________________________________ > > BaseX-Talk mailing list > > BaseX-Talk at mailman.uni-konstanz.de > > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

Am 03.10.2011 um 23:07 schrieb Ralf Jung: > Hi Jens, > > thanks! > The patch does not seem to affect all the ports that are opened though... > "netstat -nlp" shows: > > tcp6 0 0 :::8984 :::* LISTEN > 21565/java > tcp6 0 0 :::8985 :::* LISTEN > 21565/java > tcp6 0 0 127.0.0.1:1984 :::* LISTEN > 21565/java > tcp6 0 0 127.0.0.1:1985 :::* LISTEN > 21565/java > > So, the actual server and events stuff is local, but REST and... something... > is not. > > Kind regards, > Ralf > > On Monday 03 October 2011 14:05:45 Jens Erat wrote: >> Hi Loke, hi Ralf, >> >> BaseX missed the possibility to bind the server to a hostname. Christian >> just merged my tweak to add this. Feel free to pull the current developer >> version from [github][1]! The tweak will also be included in this month's >> expected 6.8 release. >> >> Regards from Lake Constance, >> Jens >> >> [1]: https://github.com/BaseXdb/basex >> >>> Hi, >>> >>> yes, I already looked for that same feature and could not find it yet. >>> For security reasons, I don't want anyone outside of the server machine >>> to be able to connect to BaseX, Jetty should listen for incoming >>> connections on localhost only. >>> It is common for every server software to have such a configuration, >>> somewhere. I assume that's what you are looking for, too, Loke? >>> >>> Kind regards, >>> Ralf >>> >>> On Sunday 02 October 2011 23:18:43 developer loke wrote: >>>> Hi Christian, >>>> I have checked this page. It seems to contain no info about the >>>> configuration variables themselves. Also, I have been able to connect >>>> to the locally started server from a remote IP address, which will >>>> happen only when a locally started server listens on all the ip >>>> addresses. I would like to make it bind to a particular address like >>>> MySQL and not have to worry about all the other IP addresses. >>>> >>>> Thanks >>>> Loke >>>> >>>> On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün >>>> >>>> <christian.gruen at gmail.com> wrote: >>>>> Hi Loke, >>>>> >>>>> thanks for requesting a Wiki account! >>>>> >>>>>>>> Hi. I am looking for options to configure the server as documented >>>>>>>> in the Wiki, but I can not find .basex file anywhere, and there >>>>>>>> seems to be no documentation on the Wiki. >>>>> >>>>> In addition to Jens' comments, you may check out the following Wiki >>>>> page: >>>>> >>>>> http://docs.basex.org/wiki/Configuration >>>>> >>>>>> I found the config files, but how do I bind the server to one ip >>>>>> address, or to just localhost, because though I can see HOST = >>>>>> localhost, I am still able to connect to it from different machines. >>>>> >>>>> The server can only be locally started, which is why there is no >>>>> option for the server host. Instead, HOST is used by the client to >>>>> connect to a default server; see: >>>>> >>>>> http://docs.basex.org/wiki/Options >>>>> >>>>> Hope this helps, >>>>> Christian >>>> >>>> _______________________________________________ >>>> BaseX-Talk mailing list >>>> BaseX-Talk at mailman.uni-konstanz.de >>>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>> >>> _______________________________________________ >>> BaseX-Talk mailing list >>> BaseX-Talk at mailman.uni-konstanz.de >>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

Am 05.10.2011 um 20:16 schrieb Jens Erat: > Hi Ralf, Hi Loke, > > I fixed the forgotten jetty server not obeying the `SERVERHOST` setting. If you want to restrict the BaseXHTTP server, you should update to the latest revision in git. > > Regards from Lake Constance, > Jens > > -- > Jens Erat > > [phone]: tel:+49-151-56961126 > [mail]: mailto:email at jenserat.de > [jabber]: xmpp:jabber at jenserat.de > [web]: http://www.jenserat.de > > PGP: 350E D9B6 9ADC 2DED F5F2 8549 CBC2 613C D745 722B > > Am 03.10.2011 um 23:07 schrieb Ralf Jung: > >> Hi Jens, >> >> thanks! >> The patch does not seem to affect all the ports that are opened though... >> "netstat -nlp" shows: >> >> tcp6 0 0 :::8984 :::* LISTEN >> 21565/java >> tcp6 0 0 :::8985 :::* LISTEN >> 21565/java >> tcp6 0 0 127.0.0.1:1984 :::* LISTEN >> 21565/java >> tcp6 0 0 127.0.0.1:1985 :::* LISTEN >> 21565/java >> >> So, the actual server and events stuff is local, but REST and... something... >> is not. >> >> Kind regards, >> Ralf >> >> On Monday 03 October 2011 14:05:45 Jens Erat wrote: >>> Hi Loke, hi Ralf, >>> >>> BaseX missed the possibility to bind the server to a hostname. Christian >>> just merged my tweak to add this. Feel free to pull the current developer >>> version from [github][1]! The tweak will also be included in this month's >>> expected 6.8 release. >>> >>> Regards from Lake Constance, >>> Jens >>> >>> [1]: https://github.com/BaseXdb/basex >>> >>>> Hi, >>>> >>>> yes, I already looked for that same feature and could not find it yet. >>>> For security reasons, I don't want anyone outside of the server machine >>>> to be able to connect to BaseX, Jetty should listen for incoming >>>> connections on localhost only. >>>> It is common for every server software to have such a configuration, >>>> somewhere. I assume that's what you are looking for, too, Loke? >>>> >>>> Kind regards, >>>> Ralf >>>> >>>> On Sunday 02 October 2011 23:18:43 developer loke wrote: >>>>> Hi Christian, >>>>> I have checked this page. It seems to contain no info about the >>>>> configuration variables themselves. Also, I have been able to connect >>>>> to the locally started server from a remote IP address, which will >>>>> happen only when a locally started server listens on all the ip >>>>> addresses. I would like to make it bind to a particular address like >>>>> MySQL and not have to worry about all the other IP addresses. >>>>> >>>>> Thanks >>>>> Loke >>>>> >>>>> On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün >>>>> >>>>> <christian.gruen at gmail.com> wrote: >>>>>> Hi Loke, >>>>>> >>>>>> thanks for requesting a Wiki account! >>>>>> >>>>>>>>> Hi. I am looking for options to configure the server as documented >>>>>>>>> in the Wiki, but I can not find .basex file anywhere, and there >>>>>>>>> seems to be no documentation on the Wiki. >>>>>> >>>>>> In addition to Jens' comments, you may check out the following Wiki >>>>>> page: >>>>>> >>>>>> http://docs.basex.org/wiki/Configuration >>>>>> >>>>>>> I found the config files, but how do I bind the server to one ip >>>>>>> address, or to just localhost, because though I can see HOST = >>>>>>> localhost, I am still able to connect to it from different machines. >>>>>> >>>>>> The server can only be locally started, which is why there is no >>>>>> option for the server host. Instead, HOST is used by the client to >>>>>> connect to a default server; see: >>>>>> >>>>>> http://docs.basex.org/wiki/Options >>>>>> >>>>>> Hope this helps, >>>>>> Christian >>>>> >>>>> _______________________________________________ >>>>> BaseX-Talk mailing list >>>>> BaseX-Talk at mailman.uni-konstanz.de >>>>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>>> >>>> _______________________________________________ >>>> BaseX-Talk mailing list >>>> BaseX-Talk at mailman.uni-konstanz.de >>>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

On Wednesday 05 October 2011 20:16:09 Jens Erat wrote: > Hi Ralf, Hi Loke, > > I fixed the forgotten jetty server not obeying the `SERVERHOST` setting. If > you want to restrict the BaseXHTTP server, you should update to the latest > revision in git. > > Regards from Lake Constance, > Jens > > > Hi Jens, > > > > thanks! > > The patch does not seem to affect all the ports that are opened though... > > "netstat -nlp" shows: > > > > tcp6 0 0 :::8984 :::* > > LISTEN 21565/java > > tcp6 0 0 :::8985 :::* > > LISTEN 21565/java > > tcp6 0 0 127.0.0.1:1984 :::* > > LISTEN 21565/java > > tcp6 0 0 127.0.0.1:1985 :::* > > LISTEN 21565/java > > > > So, the actual server and events stuff is local, but REST and... > > something... is not. > > > > Kind regards, > > Ralf > > > > On Monday 03 October 2011 14:05:45 Jens Erat wrote: > >> Hi Loke, hi Ralf, > >> > >> BaseX missed the possibility to bind the server to a hostname. Christian > >> just merged my tweak to add this. Feel free to pull the current > >> developer version from [github][1]! The tweak will also be included in > >> this month's expected 6.8 release. > >> > >> Regards from Lake Constance, > >> Jens > >> > >> [1]: https://github.com/BaseXdb/basex > >> > >>> Hi, > >>> > >>> yes, I already looked for that same feature and could not find it yet. > >>> For security reasons, I don't want anyone outside of the server machine > >>> to be able to connect to BaseX, Jetty should listen for incoming > >>> connections on localhost only. > >>> It is common for every server software to have such a configuration, > >>> somewhere. I assume that's what you are looking for, too, Loke? > >>> > >>> Kind regards, > >>> Ralf > >>> > >>> On Sunday 02 October 2011 23:18:43 developer loke wrote: > >>>> Hi Christian, > >>>> I have checked this page. It seems to contain no info about the > >>>> configuration variables themselves. Also, I have been able to connect > >>>> to the locally started server from a remote IP address, which will > >>>> happen only when a locally started server listens on all the ip > >>>> addresses. I would like to make it bind to a particular address like > >>>> MySQL and not have to worry about all the other IP addresses. > >>>> > >>>> Thanks > >>>> Loke > >>>> > >>>> On Mon, Oct 3, 2011 at 2:09 AM, Christian Grün > >>>> > >>>> <christian.gruen at gmail.com> wrote: > >>>>> Hi Loke, > >>>>> > >>>>> thanks for requesting a Wiki account! > >>>>> > >>>>>>>> Hi. I am looking for options to configure the server as documented > >>>>>>>> in the Wiki, but I can not find .basex file anywhere, and there > >>>>>>>> seems to be no documentation on the Wiki. > >>>>> > >>>>> In addition to Jens' comments, you may check out the following Wiki > >>>>> page: > >>>>> > >>>>> http://docs.basex.org/wiki/Configuration > >>>>> > >>>>>> I found the config files, but how do I bind the server to one ip > >>>>>> address, or to just localhost, because though I can see HOST = > >>>>>> localhost, I am still able to connect to it from different machines. > >>>>> > >>>>> The server can only be locally started, which is why there is no > >>>>> option for the server host. Instead, HOST is used by the client to > >>>>> connect to a default server; see: > >>>>> > >>>>> http://docs.basex.org/wiki/Options > >>>>> > >>>>> Hope this helps, > >>>>> Christian > >>>> > >>>> _______________________________________________ > >>>> BaseX-Talk mailing list > >>>> BaseX-Talk at mailman.uni-konstanz.de > >>>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk > >>> > >>> _______________________________________________ > >>> BaseX-Talk mailing list > >>> BaseX-Talk at mailman.uni-konstanz.de > >>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

On 10/5/11, developer loke <developer.loke at gmail.com> wrote: > Thanks Jens, > I will try the new update from git. > > -Loke > > On Tue, Oct 4, 2011 at 3:30 PM, > <basex-talk-request at mailman.uni-konstanz.de> wrote: >> Send BaseX-Talk mailing list submissions to >> basex-talk at mailman.uni-konstanz.de >> >> To subscribe or unsubscribe via the World Wide Web, visit >> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >> or, via email, send a message with subject or body 'help' to >> basex-talk-request at mailman.uni-konstanz.de >> >> You can reach the person managing the list at >> basex-talk-owner at mailman.uni-konstanz.de >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of BaseX-Talk digest..." >> >> >> Today's Topics: >> >> 1. Re: basex configuration file (Jens Erat) >> 2. Re: basex configuration file (Ralf Jung) >> 3. Final update on BaseX 6.8 (Christian Gr?n) >> >> >> ---------------------------------------------------------------------- >> >> Message: 1 >> Date: Mon, 3 Oct 2011 14:05:45 +0200 >> From: Jens Erat <jens.erat at uni-konstanz.de> >> To: Ralf Jung <ralfjung-e at gmx.de> >> Cc: basex-talk at mailman.uni-konstanz.de >> Subject: Re: [basex-talk] basex configuration file >> Message-ID: <B26C99F3-958A-45E3-B849-B8BE501A9CEF at uni-konstanz.de> >> Content-Type: text/plain; charset="iso-8859-1" >> >> Hi Loke, hi Ralf, >> >> BaseX missed the possibility to bind the server to a hostname. Christian >> just merged my tweak to add this. Feel free to pull the current developer >> version from [github][1]! The tweak will also be included in this month's >> expected 6.8 release. >> >> Regards from Lake Constance, >> Jens >> >> [1]: https://github.com/BaseXdb/basex >> -- >> Jens Erat >> >> [phone]: tel:+49-151-56961126 >> [mail]: mailto:email at jenserat.de >> [jabber]: xmpp:jabber at jenserat.de >> [web]: http://www.jenserat.de >> >> PGP: 350E D9B6 9ADC 2DED F5F2 8549 CBC2 613C D745 722B >> >> Am 03.10.2011 um 11:42 schrieb Ralf Jung: >> >>> Hi, >>> >>> yes, I already looked for that same feature and could not find it yet. >>> For security reasons, I don't want anyone outside of the server machine >>> to be >>> able to connect to BaseX, Jetty should listen for incoming connections >>> on >>> localhost only. >>> It is common for every server software to have such a configuration, >>> somewhere. >>> I assume that's what you are looking for, too, Loke? >>> >>> Kind regards, >>> Ralf >>> >>> On Sunday 02 October 2011 23:18:43 developer loke wrote: >>>> Hi Christian, >>>> I have checked this page. It seems to contain no info about the >>>> configuration variables themselves. Also, I have been able to connect >>>> to the locally started server from a remote IP address, which will >>>> happen only when a locally started server listens on all the ip >>>> addresses. I would like to make it bind to a particular address like >>>> MySQL and not have to worry about all the other IP addresses. >>>> >>>> Thanks >>>> Loke >>>> >>>> On Mon, Oct 3, 2011 at 2:09 AM, Christian Gr?n >>>> >>>> <christian.gruen at gmail.com> wrote: >>>>> Hi Loke, >>>>> >>>>> thanks for requesting a Wiki account! >>>>> >>>>>>>> Hi. I am looking for options to configure the server as documented >>>>>>>> in >>>>>>>> the Wiki, but I can not find .basex file anywhere, and there seems >>>>>>>> to >>>>>>>> be no documentation on the Wiki. >>>>> >>>>> In addition to Jens' comments, you may check out the following Wiki >>>>> page: >>>>> >>>>> http://docs.basex.org/wiki/Configuration >>>>> >>>>>> I found the config files, but how do I bind the server to one ip >>>>>> address, or to just localhost, because though I can see HOST = >>>>>> localhost, I am still able to connect to it from different machines. >>>>> >>>>> The server can only be locally started, which is why there is no >>>>> option for the server host. Instead, HOST is used by the client to >>>>> connect to a default server; see: >>>>> >>>>> http://docs.basex.org/wiki/Options >>>>> >>>>> Hope this helps, >>>>> Christian >>>> >>>> _______________________________________________ >>>> BaseX-Talk mailing list >>>> BaseX-Talk at mailman.uni-konstanz.de >>>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >>> _______________________________________________ >>> BaseX-Talk mailing list >>> BaseX-Talk at mailman.uni-konstanz.de >>> https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >> >>