Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- function load_file(file_name)
- data = http.get("http://172.18.0.3:8081/programs/"..file_name)
- file = io.open(file_name,"w")
- file:write(data.readAll())
- file:close()
- file = io.open(".load_params","w")
- file:write(file_name)
- file:close()
- shell.run(file_name)
- end
- if table.getn(arg)>0 then
- load_file(arg[1])
- else
- file = io.open(".load_params","r")
- name = file:read()
- file:close()
- load_file(name)
- end
Advertisement
Add Comment
Please, Sign In to add comment