/**
* Deletes a signal from the database.
*
* @param object $signal \XPSPL\SIG
*
* @return void
*/
public function delete_signal(\XPSPL\SIG $signal)
{
if ($this->offsetExists($signal->get_index())) {
$this->offsetUnset($signal->get_index());
return;
}
return;
}