(PHP 4 >= 4.2.0, PHP 5 < 5.1.0)
dio_seek — Setzt den Dateizeiger
Die Funktion dio_seek() setzt den Dateizeiger des angegebenen Dateideskriptors.
fdDer von dio_open() zurückgegebene Dateideskriptor.
posDie neue Position.
whence
Gibt an, wie die Position pos
interpretiert werden soll:
SEEK_SET (Standardwert) - 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. Die Position kann positiv oder
negativ sein.
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, sobald tatsächlich weitere Daten geschrieben
werden.
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);
?>