diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-07-14 12:38:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-07-14 12:38:00 +0200 |
commit | 9db977edc178a6f9503a8864c75b1a8c0a18887b (patch) | |
tree | 1bf66ada62acafb9153861e220d4aa07688c233f /tex/context/base/file-res.lua | |
parent | 5b62616c1e2fd2af67f62f9b4c4fcf1190470845 (diff) | |
download | context-9db977edc178a6f9503a8864c75b1a8c0a18887b.tar.gz |
beta 2014.07.14 12:38
Diffstat (limited to 'tex/context/base/file-res.lua')
-rw-r--r-- | tex/context/base/file-res.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tex/context/base/file-res.lua b/tex/context/base/file-res.lua index 9ae7a6b06..458ef7276 100644 --- a/tex/context/base/file-res.lua +++ b/tex/context/base/file-res.lua @@ -17,7 +17,10 @@ local report_files = logs.reporter("files","readfile") resolvers.maxreadlevel = 2 -directives.register("resolvers.maxreadlevel", function(v) resolvers.maxreadlevel = tonumber(v) or resolvers.maxreadlevel end) +directives.register("resolvers.maxreadlevel", function(v) + -- resolvers.maxreadlevel = (v == false and 0) or (v == true and 2) or tonumber(v) or 2 + resolvers.maxreadlevel = v == false and 0 or tonumber(v) or 2 +end) local finders, loaders, openers = resolvers.finders, resolvers.loaders, resolvers.openers |