diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-05-12 19:57:39 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-05-12 19:57:39 +0200 |
commit | 5f6a7c6790baa7e524de5b5bf71a29ea757378f6 (patch) | |
tree | d26bcd9e722c4f2c1dfe8f375669d5c0b3fc4972 /tex/context/base/mkiv/trac-deb.lua | |
parent | c49d2942bae7074f3bd4c04b6ee895cee1697ca3 (diff) | |
download | context-5f6a7c6790baa7e524de5b5bf71a29ea757378f6.tar.gz |
2019-05-12 19:16:00
Diffstat (limited to 'tex/context/base/mkiv/trac-deb.lua')
-rw-r--r-- | tex/context/base/mkiv/trac-deb.lua | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/trac-deb.lua b/tex/context/base/mkiv/trac-deb.lua index 9788e72a0..bd406b0e5 100644 --- a/tex/context/base/mkiv/trac-deb.lua +++ b/tex/context/base/mkiv/trac-deb.lua @@ -32,6 +32,7 @@ local texgetdimen = tex.getdimen local texgettoks = tex.gettoks local texgetcount = tex.getcount local texgethelp = tex.gethelptext or function() end +local fatalerror = tex.fatalerror local implement = interfaces.implement @@ -204,9 +205,25 @@ end -- so one can overload the printer if (really) needed + +if fatalerror then + callback.register("terminal_input",function(what) + if what == "*" then + fatalerror("some kind of input expected, file ends too soon, quitting now") + else + fatalerror("bad input, quitting now") + end + end) +else + -- tex.print("\\nonstopmode") +end + local quitonerror = true -directives.register("system.quitonerror",function(v) quitonerror = toboolean(v) end) +directives.register("system.quitonerror",function(v) + quitonerror = toboolean(v) + -- tex.print("\\errorstopmode") +end) local busy = false |