public function __destruct() { #echo '<span style="color:#ffff00;" >destruct called: '.get_class($this).'</span><br />'; registry::destruct(get_class($this), $this->class_hash); }
public function __destruct() { registry::destruct(get_class($this), $this->class_hash); }