unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

added delimiter between search results

Browse Source
This commit is contained in:
Paul Chiusano 2016-10-11 17:00:23 -04:00
parent c5a1c6fed2
commit e640c59693
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
unison-src/searchengine.u
View File

@ -29,7 +29,7 @@ let
format-results hs urls excerpts = do Remote
urls := Remote.map Optional.somes <| Remote.traverse (h -> DIndex.lookup h urls) hs;
excerpts := Remote.map Optional.somes <| Remote.traverse (h -> DIndex.lookup h excerpts) hs;
fmt = p -> Text.join [1st p, Text.newline, 2nd p, Text.newline, Text.newline];
fmt = p -> Text.join [1st p, Text.newline, 2nd p, Text.newline, "***", Text.newline];
pure <| Text.join (Vector.map fmt (urls `Vector.zip` excerpts));;
;
@ -111,7 +111,6 @@ let
Remote.traverse (n -> Remote.at' n (DIndex.join excerpts)) excerpts-nodes;
-- Kick off multiple crawlers
Remote.fork <| crawl 5 ind visited excerpts "http://unisonweb.org";
Remote.fork <| crawl 5 ind visited excerpts "http://unisonweb.org/design";
Remote.fork <| crawl 5 ind visited excerpts "http://www.cnn.com";
Remote.fork <| crawl 5 ind visited excerpts "http://lambda-the-ultimate.org/";