From a7a5bfc80f4b5ffe2676bdd68ceb8f42a6a21e22 Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Wed, 5 Jun 2019 02:01:29 +0000
Subject: scripts: require ASCII digits in a few places

I haven't touched most these scripts in ages, but we might as well
purge \d usage from here, as well.
---
 scripts/xhdr-num2mid | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/xhdr-num2mid')

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');
-- 
cgit v1.2.3-24-ge0c7