diff options
Diffstat (limited to 'tex')
| -rw-r--r-- | tex/context/base/context-version.pdf | bin | 4107 -> 4100 bytes | |||
| -rw-r--r-- | tex/context/base/l-os.lua | 8 | ||||
| -rw-r--r-- | tex/context/base/status-files.pdf | bin | 24690 -> 24684 bytes |
3 files changed, 7 insertions, 1 deletions
diff --git a/tex/context/base/context-version.pdf b/tex/context/base/context-version.pdf Binary files differindex 7d5de0531..125257c7a 100644 --- a/tex/context/base/context-version.pdf +++ b/tex/context/base/context-version.pdf diff --git a/tex/context/base/l-os.lua b/tex/context/base/l-os.lua index 3838b5524..8bfcf786c 100644 --- a/tex/context/base/l-os.lua +++ b/tex/context/base/l-os.lua @@ -127,7 +127,13 @@ function io.popen (...) ioflush() return iopopen(...) end function os.resultof(command) local handle = io.popen(command,"r") - return handle and handle:read("*all") or "" + if handle then + local result = handle:read("*all") or "" + handle:close() + return result + else + return "" + end end if not io.fileseparator then diff --git a/tex/context/base/status-files.pdf b/tex/context/base/status-files.pdf Binary files differindex 11a18cb39..89c95cbff 100644 --- a/tex/context/base/status-files.pdf +++ b/tex/context/base/status-files.pdf |