comparison src/luan/modules/lucene/Lucene.luan @ 1431:f3a417074cea

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 01 Dec 2019 18:41:51 -0700
parents 82415c9c0015
children 928be2a4d565
comparison
equal deleted inserted replaced
1430:103d0ce70385 1431:f3a417074cea
141 local dir = uri("file:"..dir_path) 141 local dir = uri("file:"..dir_path)
142 local dir_name = dir.name() 142 local dir_name = dir.name()
143 local options = {dir=dir.parent()} 143 local options = {dir=dir.parent()}
144 for _, file_name in ipairs(file_names) do 144 for _, file_name in ipairs(file_names) do
145 local cmd = "zip "..zip_path.." "..dir_name.."/"..file_name 145 local cmd = "zip "..zip_path.." "..dir_name.."/"..file_name
146 Io.uri("os:"..cmd,options).read_text() 146 uri("os:"..cmd,options).read_text()
147 end 147 end
148 end ) 148 end )
149 end 149 end
150 index.zip = Boot.no_security(index.zip) 150 index.zip = Boot.no_security(index.zip)
151 151
154 local lucene_dir = index.dir 154 local lucene_dir = index.dir
155 local before_restore = lucene_dir.parent().child("before_restore.zip") 155 local before_restore = lucene_dir.parent().child("before_restore.zip")
156 index.zip(before_restore) 156 index.zip(before_restore)
157 java_index.close() 157 java_index.close()
158 lucene_dir.delete() 158 lucene_dir.delete()
159 Io.uri("os:unzip "..zip_file.canonical().to_string(),{dir=lucene_dir.parent()}).read_text() 159 uri("os:unzip "..zip_file.canonical().to_string(),{dir=lucene_dir.parent()}).read_text()
160 java_index.reopen() 160 java_index.reopen()
161 end ) 161 end )
162 end 162 end
163 index.restore = Boot.no_security(index.restore) 163 index.restore = Boot.no_security(index.restore)
164 164