Since Version 7.5, you can specify globally valid options via system properties:

http://docs.basex.org/wiki/Options ___________________________

On Wed, Jan 2, 2013 at 8:10 PM, pw@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@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk