Minor improvements to threaded searching

Thomas Bruederli

2013-10-15 010a350715f1a36eab666fe26d3118ed025133c1

1
2
3
4
CREATE TABLE "system" (
    name varchar(64) NOT NULL PRIMARY KEY,
    value text
);