public function catchSignals($signals) { if (!is_array($signals)) { $signals = [$signals]; } $signals = array_filter($signals, function ($signal) { return is_integer($signal); }); $this->options['catchSignals'] = $signals; return $this; }