Bug#2712: man fails to recover correctly from ^Cs

[Austin Donnelly <and1000@cam.ac.uk>]

Package: man
Version: 2.3.10-8

If you do:

bash$ man bash | cat

then type a ^C while the manpage scrolls, man is interrupted, and
says:

              :::::                                         :::::
              returns  an  exit  status  of  0  unless an illegal
              option is encountered, one of the names  is  not  a
              legal shell variable name, or -f is supplied with a
              name that is not a functionman: command exited with status 33280: /bin/gzip -dc '/var/catman/cat1/bash-builtins.1.gz' | { export MAN_PN LESS; MAN_PN='bash-builtins(1)'; LESS="$LESS\$-Pm\:\$ix8mPm Manual page $MAN_PN ?ltline %lt?L/%L.:byte %bB?s/%s..?e (END):?pB %pB\\%.."; less; }
bash$


Could man be made to fail more gracefully ?

Austin