diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-01-19 13:13:21 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-01-19 13:13:21 +0100 |
commit | 3861c9ef2ffeffe824f05a255534d61800e27e7a (patch) | |
tree | 023d3e32dd6d7ef55f3eed41e23e012c32b07894 /scripts/context/lua/mtx-context.lua | |
parent | 823bd4a7d8ff32c05807b02e650ecbd60b43e95d (diff) | |
download | context-3861c9ef2ffeffe824f05a255534d61800e27e7a.tar.gz |
2019-01-19 12:15:00
Diffstat (limited to 'scripts/context/lua/mtx-context.lua')
-rw-r--r-- | scripts/context/lua/mtx-context.lua | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 04226df4c..ae2ff1c6a 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -433,6 +433,7 @@ end local pdfview -- delayed local function pdf_open(name,method) + statistics.starttiming("pdfview") pdfview = pdfview or dofile(resolvers.findfile("l-pdfview.lua","tex")) pdfview.setmethod(method) report(pdfview.status()) @@ -441,9 +442,13 @@ local function pdf_open(name,method) pdfname = name .. ".pdf" -- agressive end pdfview.open(pdfname) + statistics.stoptiming("pdfview") + -- report("pdfview overhead after opening: %0.3f seconds",statistics.elapsedtime("pdfview")) + report("pdfview overhead: %0.3f seconds",statistics.elapsedtime("pdfview")) end local function pdf_close(name,method) + statistics.starttiming("pdfview") pdfview = pdfview or dofile(resolvers.findfile("l-pdfview.lua","tex")) pdfview.setmethod(method) local pdfname = filenewsuffix(name,"pdf") @@ -452,6 +457,8 @@ local function pdf_close(name,method) end pdfname = name .. ".pdf" -- agressive pdfview.close(pdfname) + statistics.stoptiming("pdfview") + -- report("pdfview overhead after closing: %0.3f seconds",statistics.elapsedtime("pdfview")) end -- result file handling @@ -1584,7 +1591,7 @@ end -- updating (often one will use mtx-update instead) function scripts.context.timed(action) - statistics.timed(action) + statistics.timed(action,true) end local zipname = "cont-tmf.zip" |