summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index 49a81e30606..a2b9f3abda2 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -9818,7 +9818,10 @@ if m>=input_line_no_code then
random_seed_code: cur_val := random_seed;
pdf_shell_escape_code:
begin
- if shell_enabled_p then cur_val := 1
+ if shellenabledp then begin
+ if restrictedshell then cur_val :=2
+ else cur_val := 1;
+ end
else cur_val := 0;
end;
pdf_last_link_code: cur_val := pdf_last_link;