Hello, I am looking for a way to cancel a long-running Xapian query (when the user gets bored). Would throwing an exception inside a matchspy or matchdecider work (cleanly) ? Regards, jfd