Mercurial Hosting > luan
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 |