UPDINDEX
Wednesday, 2 January 2013 · 2 messages
P
pw2 Jan 2013 20:10 #
Hello List
I am working with 7.5 and am looking for guidance on setting
UPDINDEX
If I run the basex http server from the command line and GET UPDINDEX it is initially false. If I then open the client and GET UPDINDEX it is also false (as expected). Through the client I can then set it with the command "set updindex true". This time GET UPDINDEX returns true through the client but false through the httpserver.
How do I set the updindex option so that it it operational for the REST service?
Thanks
PeterCG
Christian Grün2 Jan 2013 21:35 #
Since Version 7.5, you can specify globally valid options via system properties:
http://docs.basex.org/wiki/Options
Quoted text · pw · 22 lines
On Wed, Jan 2, 2013 at 8:10 PM, <pw at themail.co.uk> wrote: > Hello List > > I am working with 7.5 and am looking for guidance on setting UPDINDEX > > If I run the basex http server from the command line and GET UPDINDEX > it is initially false. If I then open the client and GET UPDINDEX it > is also false (as expected). Through the client I can then set it > with the command "set updindex true". This time GET UPDINDEX returns > true through the client but false through the httpserver. > > How do I set the updindex option so that it it operational for the > REST service? > > Thanks > > Peter > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk
Written for BaseX 7.5. BaseX may have changed since: please check the current documentation.
⚡Generated with XQuery