diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/luasocket/etc/check-memory.lua')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/luasocket/etc/check-memory.lua | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Build/source/texk/web2c/luatexdir/luasocket/etc/check-memory.lua b/Build/source/texk/web2c/luatexdir/luasocket/etc/check-memory.lua deleted file mode 100644 index 7bd984d8ee8..00000000000 --- a/Build/source/texk/web2c/luatexdir/luasocket/etc/check-memory.lua +++ /dev/null @@ -1,17 +0,0 @@ -function load(s) - collectgarbage() - local a = gcinfo() - _G[s] = require(s) - collectgarbage() - local b = gcinfo() - print(s .. ":\t " .. (b-a) .. "k") -end - -load("socket.url") -load("ltn12") -load("socket") -load("mime") -load("socket.tp") -load("socket.smtp") -load("socket.http") -load("socket.ftp") |