ja vollkommen richtig !!
Danke
Aber eins wär da noch:
kann ich jetzt die dateien die ich von hand eintragen muss, sprich datei1.log, datei2.log, datei3.log ..., durch einen weiteren trick ersetzen ?
ich hatte da an auslesen des ordnerinhaltes gedacht:
es gibt den ordner server wo sich die dateien alle befinden:
server/datei1.log
server/datei2.log ...
kann ich den ordner auf seine inhalte prüfen, auslesen, und in das array einfügen ?
denn das sind ca. 300 dateien
vieleicht sollte ich noch erwähnen das die datein nicht datei1.log sonder f-fra01 oder f-fra11 oder f-gla01 heißen.
morche,
das mit dem verzeichnis auslesen geht natürlich.
beim array-aufbau machst du einfach:
$dir=opendir ('./server');
while ($file = readdir ($dir)){
if (is_file($file))
$dateien[] = $file;
}
closedir($dir);
dann stehen im array $dateien alle dateien des verzeichnis ./server . wie die dateien heissen, spielt dabei keine rolle.
grüssle - vom füssle des uetliberg
bjoern