(PHP 4 >= 4.2.0, PHP 5 <= 5.0.5)
dio_seek — Setzt den Dateizeiger
$fd
, int $pos
, int $whence
)
Die Funktion dio_seek() setzt den Dateizeiger
der Datei fd.
fd
Der von dio_open() zurückgegebene Dateideskriptor.
pos
Die neue Position.
whence
Gibt an, wie die Position pos
interpretiert werden soll:
SEEK_SET - gibt an, dass
pos die Position vom Anfang der Datei ist
SEEK_CUR - gibt an, dass
pos die Position relativ von der
momentanen Dateizeigerposition ist.
SEEK_END - gibt an, dass
pos die
Position relativ zum Dateiende ist. Eine negative Zahl setzt
den Dateizeiger innerhalb der Datei, ein positiver Wert
bewirkt, dass die Datei vom Ende bis zur neuen Position mit
Nullen aufgefüllt wird.
Beispiel #1 Positionieren in einer Datei
<?php
$fd = dio_open('/dev/ttyS0', O_RDWR);
dio_seek($fd, 10, SEEK_SET);
// Position ist jetzt beim 10. Zeichen vom Anfang der Datei
dio_seek($fd, -2, SEEK_CUR);
// Position ist jetzt beim 8. Zeichen vom Anfang der Datei
dio_seek($fd, -5, SEEK_END);
// Position ist jetzt beim 5. Zeichen vom Ende der Datei
dio_seek($fd, 10, SEEK_END);
// Position ist jetzt beim 10. Zeichen hinter dem Ende der Datei.
// Die 10 Zeichen zwischen dem Ende der Datei und der aktuellen Position
// werden mit Nullen gefüllt.
dio_close($fd);
?>