diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/l3kernel/l3luatex.dtx')
| -rw-r--r-- | Master/texmf-dist/source/latex/l3kernel/l3luatex.dtx | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/Master/texmf-dist/source/latex/l3kernel/l3luatex.dtx b/Master/texmf-dist/source/latex/l3kernel/l3luatex.dtx index a5e2b797ffa..82da76ea03f 100644 --- a/Master/texmf-dist/source/latex/l3kernel/l3luatex.dtx +++ b/Master/texmf-dist/source/latex/l3kernel/l3luatex.dtx @@ -41,7 +41,7 @@ % }^^A % } % -% \date{Released 2018-10-26} +% \date{Released 2018-10-31} % % \maketitle % @@ -340,7 +340,6 @@ local open = io.open local os_clock = os.clock local os_date = os.date local setcatcode = tex.setcatcode -local str_format = string.format local sprint = tex.sprint local write = tex.write local utf8_char = unicode.utf8.char @@ -383,7 +382,7 @@ local function elapsedtime() if val > 2147483647 then val = 2147483647 end - write(format("%d",val)) + write(format("%d",floor(val))) end l3kernel.elapsedtime = elapsedtime local function resettimer() @@ -449,16 +448,16 @@ local function filemoddate(name) else local hours = floor(off / 60) local mins = abs(off - hours * 60) - timezone = str_format("%+03d", hours) - .. "'" .. str_format("%02d", mins) .. "'" + timezone = format("%+03d", hours) + .. "'" .. format("%02d", mins) .. "'" end write("D:" - .. str_format("%04d", d.year) - .. str_format("%02d", d.month) - .. str_format("%02d", d.day) - .. str_format("%02d", d.hour) - .. str_format("%02d", d.min) - .. str_format("%02d", d.sec) + .. format("%04d", d.year) + .. format("%02d", d.month) + .. format("%02d", d.day) + .. format("%02d", d.hour) + .. format("%02d", d.min) + .. format("%02d", d.sec) .. timezone) end end |