Hi. On Fri, 23 Feb 2007 10:17:23 +0100, Ralf Corsepius wrote: > > That is actually useful. > I disagree - All programs should immediately terminate upon "Ctrl-C". > > Switching to a different mirror should be done by any arbitrary key. Oh, you can move that to a different key for all I care (SIGINT?), as long as the functionality itself is there.