comparison src/luan/modules/Boot.luan @ 1580:2975c932864d

require options
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 10 Feb 2021 23:56:59 -0700
parents c922446f53aa
children 08177ced7fa0
comparison
equal deleted inserted replaced
1579:dd881eb03d87 1580:2975c932864d
242 return opener(location,options) 242 return opener(location,options)
243 end 243 end
244 Boot.uri = uri 244 Boot.uri = uri
245 245
246 246
247 function Boot.read(uri_str) -- for PackageLuan.java 247 function Boot.read(uri_str,options) -- for PackageLuan.java
248 local u = uri(uri_str) 248 local u = uri(uri_str,options)
249 if u==nil or not u.exists() then 249 if u==nil or not u.exists() then
250 return nil 250 return nil
251 end 251 end
252 return u.read_text() 252 return u.read_text()
253 end 253 end