diff mercurial/util.py @ 832:b65773f7db41

Handle broken pipe on pressing Ctrl-C with e.g. 'hg log|grep something'.
author Thomas Arendsen Hein <thomas@intevation.de>
date Thu, 04 Aug 2005 18:06:49 +0100
parents 0902ffece4b4
children 89985a1b3427 0932bc2fb2be 1fe3b14c7044
line wrap: on
line diff