index 551b4475b5a384e12fe2b616dfdbc093ab382081..3bf0cda4eef6714b09df0360d48c12796598071a 100755 (executable)
}
print "go to which hunk$extra? ";
$response = <STDIN>;
+ if (!defined $response) {
+ $response = '';
+ }
chomp $response;
}
if ($response !~ /^\s*\d+\s*$/) {