(PHP 4 >= 4.2.0, PHP 5 <= 5.0.5)
dio_seek — Setzt den Dateizeiger
Die Funktion dio_seek() setzt den Dateizeiger der Datei fd .
Der von dio_open() zurückgegebene Dateideskriptor.
Die neue Position.
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);
?>