diff options
author | Karl Berry <karl@freefriends.org> | 2016-04-05 22:50:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-04-05 22:50:13 +0000 |
commit | 52e905992c395638cf339bcd463c71b197fc03b9 (patch) | |
tree | 88970c53454646c3953c29970ee9c81762b0f019 /Build/source/texk/xdvik/hypertex.c | |
parent | b56b320b5e2515160073fa1b469514002688fe11 (diff) |
import xdvik-22.87.03
git-svn-id: svn://tug.org/texlive/trunk@40253 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/xdvik/hypertex.c')
-rw-r--r-- | Build/source/texk/xdvik/hypertex.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Build/source/texk/xdvik/hypertex.c b/Build/source/texk/xdvik/hypertex.c index ac9d35934c1..736ae4b0b3c 100644 --- a/Build/source/texk/xdvik/hypertex.c +++ b/Build/source/texk/xdvik/hypertex.c @@ -1954,7 +1954,7 @@ launch_xdvi(const char *filename, const char *anchor_name) printing to stderr, so we use plain fork/exec (see comments in util.c) */ #if 0 - fork_process(argv[0], False, NULL, NULL, NULL, argv); + fork_process(argv[0], False, NULL, NULL, NULL, 0, argv); #else { int pid; @@ -2138,7 +2138,7 @@ launch_program(const char *filename) strcpy(syscmd + offset + (ptr - viewer) + strlen(fullpath), ptr + strlen(format_string)); /* - mailcap(4) says that the mailcap command shall be passed to system(), + mailcap(5) says that the mailcap command shall be passed to system(), so we musn't use fork_process() directly here. Instead, we pass the command to `/bin/sh -c', but via fork_process so that @@ -2154,9 +2154,11 @@ launch_program(const char *filename) argv[2] = syscmd; argv[3] = NULL; #if COPY_TMP_FILE - fork_process("/bin/sh", False, globals.dvi_file.dirname, remove_temp_file, fullpath, argv); + fork_process("/bin/sh", False, globals.dvi_file.dirname, remove_temp_file, + fullpath, 0, argv); #else - fork_process("/bin/sh", False, globals.dvi_file.dirname, NULL, NULL, argv); + fork_process("/bin/sh", False, globals.dvi_file.dirname, NULL, + NULL, 0, argv); #endif FREE(viewer); |