Lines Matching refs:finger
148 $finger = $head + (int)(($tail - $head) / 2);
149 $finger = $this->getNewlinepointer($fp, $finger);
151 if ($finger == $head || $finger == $tail) {
158 $tail = $finger;
160 $head = $finger;
204 * Set pointer to first new line after $finger and return its position
207 * @param int $finger a pointer
210 protected function getNewlinepointer($fp, $finger)
212 fseek($fp, $finger);
213 $nl = $finger;
214 if ($finger > 0) {
215 fgets($fp); // slip the finger forward to a new line