public function __destruct() { // delete pid file _info("cleaning up pid and unix sock files"); @unlink($this->get_pid_file_path()); @unlink($this->get_sock_file_path()); parent::__destruct(); }
public function __destruct() { // delete pid file JAXLLogger::info("cleaning up pid and unix sock files"); if (file_exists($this->get_pid_file_path())) { unlink($this->get_pid_file_path()); } if (file_exists($this->get_sock_file_path())) { unlink($this->get_sock_file_path()); } parent::__destruct(); }