diff options
author | Eric Wong <e@80x24.org> | 2019-06-04 08:29:36 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-06-04 10:06:18 +0000 |
commit | b5693a2107a1edd02cfad73f9302833e1b91d339 (patch) | |
tree | a0fbf50d68cd844a450fbd65a7d86e14f0e3ed27 /lib/PublicInbox/Inbox.pm | |
parent | ac4fbb3237e3fab8c4056cb595f6a2b677d8c16e (diff) | |
download | public-inbox-b5693a2107a1edd02cfad73f9302833e1b91d339.tar.gz |
Don't waste more cycles than necessary if somebody decides to put non-ASCII digits in their ~/.public-inbox/config
Diffstat (limited to 'lib/PublicInbox/Inbox.pm')
-rw-r--r-- | lib/PublicInbox/Inbox.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/PublicInbox/Inbox.pm b/lib/PublicInbox/Inbox.pm index b3178b98..04d2f832 100644 --- a/lib/PublicInbox/Inbox.pm +++ b/lib/PublicInbox/Inbox.pm @@ -74,7 +74,7 @@ sub _set_uint ($$$) { my $val = $opts->{$field}; if (defined $val) { $val = $val->[-1] if ref($val) eq 'ARRAY'; - $val = undef if $val !~ /\A\d+\z/; + $val = undef if $val !~ /\A[0-9]+\z/; } $opts->{$field} = $val || $default; } |