diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-11-25 23:15:50 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-11-25 23:15:50 +0100 |
commit | 7ecbcaaf68d152851591dbb5931a6eb15d155019 (patch) | |
tree | 45722ebceab0911372cd571bfc9b2c1ed992e747 /tex/context/base/mkiv/attr-ini.lua | |
parent | 8d30ee280d6fb2db6268bf6f839c5f93193a6925 (diff) | |
download | context-7ecbcaaf68d152851591dbb5931a6eb15d155019.tar.gz |
2019-11-25 17:37:00
Diffstat (limited to 'tex/context/base/mkiv/attr-ini.lua')
-rw-r--r-- | tex/context/base/mkiv/attr-ini.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/attr-ini.lua b/tex/context/base/mkiv/attr-ini.lua index 5d35d6ab5..6145fa08d 100644 --- a/tex/context/base/mkiv/attr-ini.lua +++ b/tex/context/base/mkiv/attr-ini.lua @@ -7,6 +7,7 @@ if not modules then modules = { } end modules ['attr-ini'] = { } local next, type = next, type +local osexit = os.exit --[[ldx-- <p>We start with a registration system for atributes so that we can use the @@ -76,7 +77,7 @@ function attributes.private(name) -- at the lua end (hidden from user) sharedstorage.attributes_last_private = last else report_attribute("no more room for private attributes") - os.exit() + osexit() end number = last numbers[name], names[number], list[number] = number, name, { } @@ -93,7 +94,7 @@ function attributes.public(name) -- at the lua end (hidden from user) sharedstorage.attributes_last_public = last else report_attribute("no more room for public attributes") - os.exit() + osexit() end number = last numbers[name], names[number], list[number] = number, name, { } |