__destruct() public method

public __destruct ( )
Ejemplo n.º 1
0
 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();
 }
Ejemplo n.º 2
0
Archivo: jaxl.php Proyecto: jaxl/JAXL
 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();
 }