diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index 0e52e611a97..73c1a525d98 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -2538,8 +2538,10 @@ sub update_numbers { # signal handler for interrupts SIGINT AND SIGTERM sub signal_handler { + my ($sig) = @_; flushlog(); - die "Installation interrupted $!"; + print "Caught SIG$sig -- shutting down\n"; + exit(1); } # to be called at exit when the installation did not complete |