Branch: Tag:

2001-05-31

2001-05-31 06:08:28 by Johan Schön <js@opera.com>

Store and use document metadata. Also implemented db->remove_document()

Rev: lib/modules/Search.pmod/Database.pmod/Base.pmod:1.2
Rev: lib/modules/Search.pmod/Database.pmod/MySQL.pike:1.22
Rev: lib/modules/Search.pmod/Filter.pmod/Base.pike:1.5
Rev: lib/modules/Search.pmod/Grammar.pmod/Parser.pmod:1.2
Rev: lib/modules/Search.pmod/Indexer.pmod:1.6

11:    // body_big    // title, description, keywords    +  int document_size; +     mapping(string:string) uri_anchors=([]);    // Maps un-normalized URLs to raw text    // ([ "http://www.roxen.com": "the Roxen web-server" ])