Hi Cerstin,<div><br></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

In the GUI I could see, that the value of INDEX for &quot;up-to-date&quot; was &quot;false&quot;.</blockquote><div><br></div><div>this information simply indicates that not all index structures are updated yet. Whenever you activate UPDINDEX, your text and value will always be updated (i.e., &quot;Text Index: &quot; should always be followed by the flag &quot;ON&quot;).</div>

<div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">nothing happens. It looks like the script is waiting for some input -- the process does not stop.  The old BaseX server seems to be running somehow; I cannot start the server either.<br>

</blockquote><div><br></div><div>maybe there&#39;s still a process running server-side? What output do you get when calling the SHOW SESSIONS command?</div><div> </div><div>Best,</div><div>Christian</div><div><br></div></div>

<br></div>