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);
     }