diff --git a/web/includes/Monitor.php b/web/includes/Monitor.php index 83a2f8559..cdac2bcca 100644 --- a/web/includes/Monitor.php +++ b/web/includes/Monitor.php @@ -361,6 +361,8 @@ private $control_fields = array( $this->{$k} = $v; } else if ( is_bool( $v ) ) { $this->{$k} = $v; + } else if ( is_null( $v ) ) { + $this->{$k} = $v; } else { Error( "Unknown type $k => $v of var " . gettype( $v ) ); $this->{$k} = $v;