@@ 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 | } |
|
@@ 133-138 (lines=6) @@ | ||
130 | ||
131 | public function __wakeup() |
|
132 | { |
|
133 | if (!isset(self::$_safeMapShare[$this->getSafeMapShareId()])) { |
|
134 | $this->initSafeMap(); |
|
135 | self::$_safeMapShare[$this->getSafeMapShareId()] = $this->_safeMap; |
|
136 | } else { |
|
137 | $this->_safeMap = self::$_safeMapShare[$this->getSafeMapShareId()]; |
|
138 | } |
|
139 | } |
|
140 | ||
141 | /** |