1 -- Détermination de la taille d'un fichier
2 function wsls_fsize (name)
3 fso = io.open(name, "r")
9 -- Détermination de l'extension d'un fichier
10 function wsls_fext (name)
11 return string.match(name, "(%.%a+)$")
14 -- Détermination du fichier
15 function wsls_fname (tail)
16 return string.match(tail, "/?([%a%d%.%-]+)$")
20 function wsls_get (base, tail)
21 http = require("socket.http")
22 ltn12 = require("ltn12")
23 file = wsls_fname(tail)
24 out = io.open(file, "w")
25 r, c, h = http.request {
26 url = "http://" .. base .. tail,
27 sink = ltn12.sink.file(out)
30 print ("Le fichier " .. file .. "(" ..
31 wsls_fsize(file) .. " octets) est transféré !")
37 function wsls_put (base, tail)
38 http = require("socket.http")
39 ltn12 = require("ltn12")
40 file = wsls_fname(tail)
41 r, c, h = http.request {
43 url = "http://" .. base .. tail,
44 source = ltn12.source.file(io.open(file)),
46 ["content-length"] = wsls_fsize(file)
50 print ("Le fichier " .. file .. "(" ..
51 wsls_fsize(file) .. " octets) est transféré !")