diff options
author | Norbert Preining <preining@logic.at> | 2008-01-16 15:42:36 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-01-16 15:42:36 +0000 |
commit | d5b07fca43d1ab3f6dec8346462fb06ce65046bf (patch) | |
tree | a1cbb28cad0e062ad1320885e4048f5c3b0dd8e8 /Master | |
parent | 93516fb113c345865fa332f8a6b4cd445ea32b13 (diff) |
flush log messages to stderr in case of cancel etc
git-svn-id: svn://tug.org/texlive/trunk@6265 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl.pl | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index 8f24bb00e24..369b94f2d06 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -246,12 +246,12 @@ if ($opt_profile eq "") { my $ret = run_menu(); if ($ret == $MENU_QUIT) { # do_cleanup(); MISSING - dump_vars("$system_tmpdir/texlive.vars"); + flushlog(); exit(1); } if ($ret == $MENU_ABORT) { # NO do_cleanup()! - dump_vars("$system_tmpdir/texlive.vars"); + flushlog(); exit(2); } if ($ret == $MENU_ALREADYDONE) { @@ -885,6 +885,14 @@ sub update_numbers { } } } + +sub flushlog { + print STDERR "Not creating a log file but flushing messages to stderr:\n"; + foreach my $l (@::LOGLINES) { + print STDERR $l; + } +} + __END__ ### Local Variables: |