Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/dok.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClement Farabet <clement.farabet@gmail.com>2012-02-09 08:17:52 +0400
committerClement Farabet <clement.farabet@gmail.com>2012-02-09 08:17:52 +0400
commitfde41b2c081083dd3919d6ed631d44567ee89936 (patch)
tree82548688bdc0fb3b50a1857decccc2b81b6fff58
parent8a77e6330a900b3321c5a31a3f842947a3252126 (diff)
Fixed search.
-rw-r--r--search.lua2
1 files changed, 1 insertions, 1 deletions
diff --git a/search.lua b/search.lua
index 3a95468..6b8064a 100644
--- a/search.lua
+++ b/search.lua
@@ -27,7 +27,7 @@ local function install(entries, dir)
local vars = {}
for i,entry in ipairs(entries) do
table.insert(vars, 's[' .. (i-1) .. '] = "'
- .. table.concat(entry, '^'):gsub('"','\\"'):gsub('\n',' ') .. '";')
+ .. table.concat(entry, '^~^'):gsub('"','\\"'):gsub('\n',' ') .. '";')
end
local array = table.concat(vars, '\n')
local f = paths.concat(paths.install_html, paths.basename(dir), 'jse_form.js')