diff options
author | Karl Berry <karl@freefriends.org> | 2010-01-02 01:30:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-01-02 01:30:38 +0000 |
commit | 5fb86ace7d80ffee3979cb2b75680fc893a6ce21 (patch) | |
tree | ec3aeae337a76219cb989d048a9b2cfa2ddfea22 /Build/source/texk/web2c/tex.ch | |
parent | 0d7c5d4849ed469e76ed339f72c25dfb24894c07 (diff) |
"executed safely" in log file, since the cmd may have been quoted before executation
git-svn-id: svn://tug.org/texlive/trunk@16568 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index bb99339c99a..7c2bc6fbe7a 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -5108,7 +5108,7 @@ if j=18 then if runsystem_ret = -1 then print("quotation error in system command") else if runsystem_ret = 0 then print("disabled (restricted)") else if runsystem_ret = 1 then print("executed") - else if runsystem_ret = 2 then print("executed (allowed)") + else if runsystem_ret = 2 then print("executed safely (allowed)") end; end else begin print("disabled"); {|shellenabledp| false} |