PHP resource_service::unregisterの例

コード例 #1

ファイル: lambda.php プロジェクト: stokegames/mmo

 public function __wakeup()
 {
     $this->closure =& resource_service::unregister($this->resource_id);
 }

コード例 #2

ファイル: process.php プロジェクト: stokegames/mmo

 public function __wakeup()
 {
     if ($closure = resource_service::unregister($this->resource_id)) {
         $this->closure =& $closure;
     }
 }