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:
Diffstat (limited to 'search.lua')
-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')