diff 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
line wrap: on
line diff
--- a/src/luan/modules/Boot.luan	Wed Feb 10 22:49:47 2021 -0700
+++ b/src/luan/modules/Boot.luan	Wed Feb 10 23:56:59 2021 -0700
@@ -244,8 +244,8 @@
 Boot.uri = uri
 
 
-function Boot.read(uri_str)  -- for PackageLuan.java
-	local u = uri(uri_str)
+function Boot.read(uri_str,options)  -- for PackageLuan.java
+	local u = uri(uri_str,options)
 	if u==nil or not u.exists() then
 		return nil
 	end