public function del($key);
public function semaphore_delete() { $sem = $this->mem->read($this->key_semaphore); if (empty($sem)) { return true; } return $this->mem->del($this->key_semaphore); }