Allowed device_ids as INT or as STRING (#10536)

This commit is contained in:
Tom van Leeuwen 2019-08-20 14:03:40 +02:00 committed by PipoCanaja
parent c82cdf2a83
commit 36c41bac2c

View File

@ -1001,7 +1001,7 @@ function add_edit_rule(\Illuminate\Http\Request $request)
if ($device == "-1") {
continue;
}
$devices[] = ctype_digit($device) ? $device : getidbyname($device);
$devices[] = (ctype_digit($device) || is_int($device)) ? $device : getidbyname($device);
}
if (isset($data['builder'])) {