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