Re: [basex-talk] Edit to https://docs.basex.org/wiki/Database_Server and question

2022-03-08 Thread Christian Grün
> Oh, not question about keeping the command, just wanted to gather the > stopping commands all together in one place. Feel free to adjust it if you think it’s helpful. Thanks. > On 3/8/22 10:35, Christian Grün wrote: > > Hi Patrick, > > > >> "Pressing |Ctrl+c| will close all connections and

Re: [basex-talk] Edit to https://docs.basex.org/wiki/Database_Server and question

2022-03-08 Thread Patrick Durusau
Oh, not question about keeping the command, just wanted to gather the stopping commands all together in one place. Patrick On 3/8/22 10:35, Christian Grün wrote: Hi Patrick, "Pressing |Ctrl+c| will close all connections and databases and gracefully shut down the server process." True?

Re: [basex-talk] Edit to https://docs.basex.org/wiki/Database_Server and question

2022-03-08 Thread Christian Grün
Hi Patrick, > "Pressing |Ctrl+c| will close all connections and databases and > gracefully shut down the server process." > > True? False? Somewhere in between? True. I think it’s still reasonable to keep this command in our documentation as you can start the BaseX server in the background (e.g.

[basex-talk] Edit to https://docs.basex.org/wiki/Database_Server and question

2022-03-08 Thread Patrick Durusau
Greetings! I edited https://docs.basex.org/wiki/Database_Server to change: Add the stop keyword to gracefully shut down the server. to: Use |basexserverstop| or |basexserverstop.bat| to gracefully shut down the server. Question, in the first paragraph following this list, the text reads: