diff options
author | Eric Wong <e@80x24.org> | 2019-06-05 02:01:29 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-06-05 02:01:29 +0000 |
commit | a7a5bfc80f4b5ffe2676bdd68ceb8f42a6a21e22 (patch) | |
tree | a08e891892f8ba1dd7c77f6cd29c20fd5d6df0ee /scripts/xhdr-num2mid | |
parent | 2984ff86d913c3a9a9f53e67e141f7a39bf77160 (diff) | |
download | public-inbox-a7a5bfc80f4b5ffe2676bdd68ceb8f42a6a21e22.tar.gz |
I haven't touched most these scripts in ages, but we might as well purge \d usage from here, as well.
Diffstat (limited to 'scripts/xhdr-num2mid')
-rwxr-xr-x | scripts/xhdr-num2mid | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/xhdr-num2mid b/scripts/xhdr-num2mid index 6f839c55..f119ec4f 100755 --- a/scripts/xhdr-num2mid +++ b/scripts/xhdr-num2mid @@ -23,7 +23,7 @@ my ($num, $first, $last) = $nntp->group($group); die "Invalid group\n" if !(defined $num && defined $first && defined $last); my $arg_first = shift; if (defined $arg_first) { - $arg_first =~ /\A\d+\z/ or die $usage; + $arg_first =~ /\A[0-9]+\z/ or die $usage; $first = $arg_first; } elsif ($mm) { my $last_article = $mm->meta_accessor('last_article'); |