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();
}