[php] file pointer zurücksetzen

[Schmitt Joachim]

hallo liste,

weis jemand von euch, wie ich den file pointer einer datei
zurück setzen kann, wenn ich schon x-beliebige zeilen einer
datei gelesen habe? konkret: ich möchte eine datei
durchlaufen die in jeder zeile ein datenbank id hat.
so nun möchte ich, wenn ich die entsprechende info mit der
db id nicht bekomme diese zeile veränder.
z.b.

3
4
5
6
7

nach

3
4#error:34
5
6
7

gruß

josch