JAXL::__destruct PHP Method

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