diff options
Diffstat (limited to 'sci-biology/t-coffee/files/t-coffee-11.00-mayhem.patch')
| -rw-r--r-- | sci-biology/t-coffee/files/t-coffee-11.00-mayhem.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/sci-biology/t-coffee/files/t-coffee-11.00-mayhem.patch b/sci-biology/t-coffee/files/t-coffee-11.00-mayhem.patch new file mode 100644 index 000000000000..cbfeeabc181b --- /dev/null +++ b/sci-biology/t-coffee/files/t-coffee-11.00-mayhem.patch @@ -0,0 +1,25 @@ +Author: Andreas Tille <tille@debian.org> +Last-Update: Mon, 21 Dec 2015 21:30:36 +0100 +Bug-Debian: https://bugs.debian.org/716373 +Description: Fix Mayhem issue + The idea behind this patch is that if there is a problem to set the HOME + directories no additional processes can exist and so we should *really* + exit. Somehow the printf_exit() function does some logic which ends up + in an endless loop and thus forcing the exit will help here. + . + Unfortunately this does not solve the issue completely since inside the + Exit call a "Segmentation fault" happens - so some broken pointer handling + seems to happen somewhere before. + +--- a/t_coffee_source/util_lib/util.c ++++ b/t_coffee_source/util_lib/util.c +@@ -4642,7 +4642,8 @@ char *get_home_4_tcoffee () + } + else + { +- printf_exit (EXIT_FAILURE, stderr, "ERROR: Could not set a HOME directory.\nSet any of the following environement variables to some suitable location: HOME, HOME_4_TCOFFEE, TMP or TEMP [FATAL:%s]\n", PROGRAM); ++ fprintf(stderr, "ERROR: Could not set a HOME directory.\nSet any of the following environement variables to some suitable location: HOME, HOME_4_TCOFFEE, TMP or TEMP [FATAL:%s]\n", PROGRAM); ++ exit(EXIT_FAILURE); + } + + |