|
@@ 113-118 (lines=6) @@
|
| 110 |
|
{ |
| 111 |
|
$this->_charStream = $charStream; |
| 112 |
|
|
| 113 |
|
if (!isset(self::$_safeMapShare[$this->getSafeMapShareId()])) { |
| 114 |
|
$this->initSafeMap(); |
| 115 |
|
self::$_safeMapShare[$this->getSafeMapShareId()] = $this->_safeMap; |
| 116 |
|
} else { |
| 117 |
|
$this->_safeMap = self::$_safeMapShare[$this->getSafeMapShareId()]; |
| 118 |
|
} |
| 119 |
|
|
| 120 |
|
$this->_filter = $filter; |
| 121 |
|
} |
|
@@ 130-135 (lines=6) @@
|
| 127 |
|
|
| 128 |
|
public function __wakeup() |
| 129 |
|
{ |
| 130 |
|
if (!isset(self::$_safeMapShare[$this->getSafeMapShareId()])) { |
| 131 |
|
$this->initSafeMap(); |
| 132 |
|
self::$_safeMapShare[$this->getSafeMapShareId()] = $this->_safeMap; |
| 133 |
|
} else { |
| 134 |
|
$this->_safeMap = self::$_safeMapShare[$this->getSafeMapShareId()]; |
| 135 |
|
} |
| 136 |
|
} |
| 137 |
|
|
| 138 |
|
protected function getSafeMapShareId() |