Discussion :

[Oprichnik]

Bonjour, mon site me rapporte plusieurs erreurs lorsque plusieurs utilisateurs (a partir de 4) sont connectés en même temps (le fichier utilisé est le même pour chaque joueur) et l'erreur est que l'index trouvé par array_search n'existe pas dans le tableau et en effet la fonction file() ne renvoie pas tout le fichier..

Une idée ?

[PseudoCoder]

Salut,

Regarde ici : http://fr.php.net/file

Notamment, le premier commentaire (le dernier de la page donc) :

It appears that the file() function causes file access problems for perl cgi scripts accessing the same files. I am using Perl v5.6.0 in linux with PHP/4.0.4pl1. After running a php app using the file() function, any perl cgi trying to access the same file randomly dies returning an internal server error: premature end of script headers.

The simple fix is to use fopen(), fgets() and fclose() instead of file().

[Oprichnik]

merci, ca veut dire que je dois simplement ouvrir le fichier en lecture avant de faire file() ?

[kodokan]

Oui mais pas tout à fait : il faut que tu l'ouvre ( fopen() ), tu place le pointeur au début du fichier ( fgets() ) tu fais tes requetes puis tu ferme la connection avec fclose()

[PseudoCoder]

Re,

Apparamment, php ne gère pas très très bien l'ouverture simultannée du même fichier par plusieurs threads, ce qui fait qu'il ne place pas le pointeur au début du fichier.

http://fr.php.net/manual/fr/function.fopen.php

Suivant le mode d'ouverture du fichier, php place le pointeur au début (r, r+, w, w+, x et x+) ou à la fin (a et a+) du fichier.

[Oprichnik]

donc je fais ca :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
<?php
 
$f = fopen("fichier","r"); // ou r+
 
$file_array = file("fichier");
 
fclose($f);
 
?>

[PseudoCoder]

Non,

Il faut utiliser fgets(), pas file().

[Oprichnik]

Merci, voici a quoi ressemble ma nouvelle fonction qui remplace file() :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
function trim_file($url) {
 
$handle = @fopen($url, "r");
if ($handle) {
 
  $tab_file = array();
 
   while (!feof($handle)) {
    $value = fgets($handle);
    if($value)
    $tab_file[] = $value;
   }
 
   fclose($handle);
 
   $tab_file = array_map("trim",$tab_file);
 
   return $tab_file;
}
else
return false;
 
}