185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
|
end
end
end
i = i + 1 end end
if args[1] and args[1] ~= '' then
local file = io.open(arg[1], "rb")
if not file then error('unable to load file ' .. args[1]) end
input.stream = file
input.src.file = args[1]
end
return main(input, outp, log, mode, suggestions, vars)
end
|
|
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
|
end
end
end
i = i + 1 end end
if args[1] and args[1] ~= '' then
local file = io.open(args[1], "rb")
if not file then error('unable to load file ' .. args[1]) end
input.stream = file
input.src.file = args[1]
end
return main(input, outp, log, mode, suggestions, vars)
end
|