# HG changeset patch # User Richard Laager # Date 1190994816 0 # Node ID a02994afdb4342a5c554f1384618465db52b62dd # Parent ef5cdffa31d4deb28ef329aae4fe8ffbc4b94952 applied changes from 4dd446ee59f869036e9065d0f45270444f319f1d through f6deeedd3d31f0863466fff4c81816aee12122a6 diff -r ef5cdffa31d4 -r a02994afdb43 po/stats.pl --- a/po/stats.pl Fri Sep 28 15:53:03 2007 +0000 +++ b/po/stats.pl Fri Sep 28 15:53:36 2007 +0000 @@ -63,6 +63,10 @@ $po = $pos[$index]; print STDERR "$po..." if($ARGV[0] eq '-v'); system("msgmerge $po.po $PACKAGE.pot -o $po.new 2>/dev/null"); + if (($? & 127) == 2) { + printf STDERR "Caught keyboard interrupt--exiting\n"; + exit + } $_ = `msgfmt --statistics $po.new -o /dev/null 2>&1`; chomp; if(/(\d+) translated message/) { $trans = $1; }