diff options
author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-04-27 13:46:35 +0000 |
---|---|---|
committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-04-27 13:46:35 +0000 |
commit | 8b55695cfa07146fbde0131e80b17c7e10c7229c (patch) | |
tree | ef493902d50a1162acbcbe01d0648043a84d4854 | |
parent | 3287377583f8a651538b298d31922c3a90c020aa (diff) | |
download | urpmi-8b55695cfa07146fbde0131e80b17c7e10c7229c.tar urpmi-8b55695cfa07146fbde0131e80b17c7e10c7229c.tar.gz urpmi-8b55695cfa07146fbde0131e80b17c7e10c7229c.tar.bz2 urpmi-8b55695cfa07146fbde0131e80b17c7e10c7229c.tar.xz urpmi-8b55695cfa07146fbde0131e80b17c7e10c7229c.zip |
gurpmi: always restore cursor on exit.
-rwxr-xr-x | urpmi | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -796,6 +796,10 @@ if ($pid_err && $pid_out) { close STDOUT; } +if ($urpm::args::options{X}) { + gtkset_mousecursor_normal(); #- for restoring a normal in any case + flush(); +} use POSIX (); POSIX::_exit $exit_code; |