commit 7c15d8c584372053f5fd8f7b97db1d9891230039 parent 0107648eacb48a90d05e0f7ac69d0cd18f3d4ff7 Author: Paul Steckler <steck@stecksoft.com> Date: Mon, 1 Jul 2002 20:06:03 +0000 Moved files to private; new help-desk.ss original commit: c2a637dafc1bcff2dc20eaaa35eaea9dfd1e44a1 Diffstat:
| M | collects/help/help.ss | | | 4 | ++-- |
| M | collects/help/private/search.ss | | | 24 | ++++++++++++++++++------ |
2 files changed, 20 insertions(+), 8 deletions(-)
diff --git a/collects/help/help.ss b/collects/help/help.ss @@ -3,8 +3,8 @@ (lib "util.ss" "web-server") (lib "configuration.ss" "web-server") (lib "configuration-structures.ss" "web-server") - (lib "server.ss" "help") - (lib "browser.ss" "help")) + "private/server.ss" + "private/browser.ss") (require (lib "exit.ss" "help" "servlets" "private")) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss @@ -2,16 +2,28 @@ (require (lib "string-constant.ss" "string-constants") "docpos.ss" "colldocs.ss" + "server.ss" + "browser.ss" (lib "list.ss") (lib "util.ss" "help" "servlets" "private") - (lib "server.ss" "help") - (lib "browser.ss" "help")) + (lib "specs.ss" "framework")) (provide do-search - doc-collections-changed - search-for-docs) - - ; hd-cookie string sym sym any -> void + doc-collections-changed) + + (provide/contract + (search-for-docs + (hd-cookie? string? + (lambda (s) + (member s + '("keyword" "keyword-index" "keyword-index-text"))) + (lambda (s) + (member s + '("exact-match" "containing-match" "regexp-match"))) + any? + . -> . any?))) + + ; hd-cookie string string string any -> void ; shows search result in default browser (define (search-for-docs cookie search-string search-type match-type lucky?) (let* ([port (hd-cookie->port cookie)]