Merge pull request #756 from basvandijk/only-convert-integer-option-values-to-ints

GitInput: only convert integer option values to int
This commit is contained in:
Bas van Dijk 2020-05-13 12:09:20 +02:00 committed by GitHub
commit 301e4e088e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -118,7 +118,7 @@ sub fetchInput {
$name);
# give preference to the options from the input value
while (my ($opt_name, $opt_value) = each %{$options}) {
if ($opt_value =~ /\d+/) {
if ($opt_value =~ /^[+-]?\d+\z/) {
$opt_value = int($opt_value);
}
$cfg->{$opt_name} = $opt_value;