[PATCH 26/24] scripts: require ASCII digits in a few places

[Eric Wong <e@80x24.org>]

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

diff --git a/scripts/import_slrnspool b/scripts/import_slrnspool
index e7ea45c..25b702a 100755
--- a/scripts/import_slrnspool
+++ b/scripts/import_slrnspool
@@ -47,7 +47,7 @@ sub get_min {
 	my $out = $git->qx('config', "--file=$f", key($ibx));
 	$out ||= 0;
 	chomp $out;
-	$out =~ /\A\d+\z/ and return $out;
+	$out =~ /\A[0-9]+\z/ and return $out;
 	0;
 }
 
diff --git a/scripts/xhdr-num2mid b/scripts/xhdr-num2mid
index 6f839c5..f119ec4 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');
-- 
EW