diff options
| author | Hans Hagen <pragma@wxs.nl> | 2017-05-14 19:58:50 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-05-14 19:58:50 +0200 |
| commit | fd0c4577a4b6e85ca2db664906e1a03807ce133f (patch) | |
| tree | fa23fcc04248d03ff82e34634b8ef1bb9cf28acb /tex/context/base/mkiv/l-file.lua | |
| parent | db581096187dc2d3cbdbe4cdc39d247c168b1607 (diff) | |
| download | context-fd0c4577a4b6e85ca2db664906e1a03807ce133f.tar.gz | |
2017-05-14 19:15:00
Diffstat (limited to 'tex/context/base/mkiv/l-file.lua')
| -rw-r--r-- | tex/context/base/mkiv/l-file.lua | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/l-file.lua b/tex/context/base/mkiv/l-file.lua index b6822e954..f2a27ad18 100644 --- a/tex/context/base/mkiv/l-file.lua +++ b/tex/context/base/mkiv/l-file.lua @@ -607,14 +607,17 @@ function file.robustname(str,strict) end end -file.readdata = io.loaddata -file.savedata = io.savedata +local loaddata = io.loaddata +local savedata = io.savedata + +file.readdata = loaddata +file.savedata = savedata function file.copy(oldname,newname) if oldname and newname then - local data = io.loaddata(oldname) + local data = loaddata(oldname) if data and data ~= "" then - file.savedata(newname,data) + savedata(newname,data) end end end |