25 Jan
2011
25 Jan
'11
9:24 p.m.
On Tue, Jan 25, 2011 at 5:56 AM, Christian Grün <christian.gruen@gmail.com>wrote:
does the index still work if you reopen the GUI and run your query? Next, which full-text options have you set?
After doing a few things such as closing Eclipse and restarting the BaseX server, the problem mysteriously disappeared. So I'm not sure what was happening.