Lire uniquement les x derniers octets d'un fichier distant (+voir sa taille en bonus :)

Soyez le premier à donner votre avis sur cette source.

Vue 3 876 fois - Téléchargée 747 fois

Description

Bonjour,

Voilà, pour un de mes petit projet j'ai utilisé l'outil "tail" sous linux (debian, avec shell_exec) qui renvoi les x dernières lignes d'un fichier, dans mon cas, je souhaitais lire et interpréter les 25 dernières lignes d'un log. Sauf que le projet à un peu évolué, et certain fichiers sont devenu distant, situé sur d'autre serveur web... Donc voilà j'ai fait quelques recherches, et vu qu'aucune source ne réalise cette fonction, je poste :D

Au passage, je visite ce site depuis quelques années déjà et c'est que maintenant que j'ose poster une de mes sources, donc soyez un peu indulgent ^^°

Source / Exemple :


<?php

//error_reporting(E_ALL); //debug

	function tail($fichier,$nbOctet = 300)
	{
		$url = parse_url($fichier);
		$tmp = '';
		
		$host	= $url["host"];
		$port	= ((isset($url["port"]))? $url["port"] : 80 );
		$sock	= fsockopen($host, $port); // Timeout par défaul : ini_get("default_socket_timeout"); (60s chez moi)
		
		if(!$sock) return false;
		
		fputs($sock, "GET $fichier HTTP/1.1\r\n");
		fputs($sock, "HOST: $host\r\n");
		fputs($sock, "Range: bytes=-".$nbOctet."\r\n"); // Cf [14.35.1 Byte Ranges] de la doc w3.org
		fputs($sock, "Connection: close\r\n\r\n");
		
		while (!feof($sock)) $tmp .= fread($sock, 128);
		
		fclose($sock);
		$fin = explode("\r\n\r\n",$tmp,2); // on suprime le header pour ne garder que la fin du fichier en question
		
		return $fin[1];
	}

	function get_taille($url)
	{
		$tmp = parse_url($url);
		
		$host	= $tmp["host"];
		$port	= ((isset($tmp["port"]))? $tmp["port"] : 80 );
		$sock	= fsockopen($host, $port);
		
		if(!$sock) return false;
		
		fputs($sock, "HEAD $url HTTP/1.1\r\n"); // Uniquement le header http nous intéresse ici
		fputs($sock, "HOST: $host\r\n");
		fputs($sock, "Connection: close\r\n\r\n");
		$header = fread($sock,512);
		preg_match("#Content-Length\:\s(\d+)\r\n#",$header,$taille); // On récupère la taille du fichier dans $taille[1]; 674 octets ici
		fclose($sock);
		
		return $taille[1];
	}
	
	//Exemple ::
	
	$url = "http://www.math.u-psud.fr/~misiti/R/t3var.txt"; // (pris au hasard sur google (inurl:txt))
	
	echo " Taille du fichier : ".get_taille($url)." Octets <pre>".tail($url,30);
			//--->  Je veux les 30 derniérs octets du fichier t3var.txt 

?>

Conclusion :


Pour l'exemple, le fichier lu fait que quelques octets... cette source prend tout son intérêt lorsque ce fichier devient volumineux. Je l'utilise pour récupérer les 300 derniers octets d'un fichier log de 500Mo (situé sur un autre serveur web), c'est rapide et on est pas obligé de télécharger l'intégralité du fichier.

La doc utilisé :
Header Range : http://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.35.1
regex : http://www.expreg.com/memo.php

Codes Sources

A voir également

Ajouter un commentaire

Commentaires

Equilibrius
Messages postés
95
Date d'inscription
mercredi 6 juillet 2005
Statut
Membre
Dernière intervention
23 août 2010
-
Salut, je pense que dans certain cas oui elle peut parfaitement faire l'affaire (petit fichiers en local par ex), hélas j'ai testé avec des fichiers distant volumineux (> 200Mo) et voilà le résultat :

****
Warning: file_get_contents() [function.file-get-contents]: stream does not support seeking in C:\test.php on line 2

Warning: file_get_contents() [function.file-get-contents]: Failed to seek to position 200000 in the stream in C:\test.php on line 2
****

et il faudrait au préalable connaître la taille du fichier pour pouvoir calculer le bon offset... (sauf si j'ai raté un flag o_O)
pifol
Messages postés
23
Date d'inscription
mercredi 14 novembre 2007
Statut
Membre
Dernière intervention
26 avril 2009
-
ok pour la fonction get_taille (fonction bateau, cela dit)
mais pour tail(), file_get_contents() avec un flag fait déjà l'affaire...
Equilibrius
Messages postés
95
Date d'inscription
mercredi 6 juillet 2005
Statut
Membre
Dernière intervention
23 août 2010
-
salut et merci, je ne connais pas vraiment curl, mais je regarderai la doc et au mieux je proposerai une autre petite fonction :)
cs_Urgo
Messages postés
780
Date d'inscription
lundi 16 décembre 2002
Statut
Membre
Dernière intervention
16 avril 2009
1 -
Bonjour,

C'est une technique peu pratiquée mais fort utile !
Pour ma part, j'aurai préféré l'utilisation de curl. ;)
Il existe d'ailleurs une extension PEAR pour récupérer la taille en pixels d'une image distante sans la télécharger au complet (http://pear.php.net/package/Image_Remote). Donc plein de choses sont possibles en manipulant un peu les en-têtes HTTP.

Je ne note pas, mais je te souhaite bonne continuation dans tes recherches.

Vous n'êtes pas encore membre ?

inscrivez-vous, c'est gratuit et ça prend moins d'une minute !

Les membres obtiennent plus de réponses que les utilisateurs anonymes.

Le fait d'être membre vous permet d'avoir un suivi détaillé de vos demandes et codes sources.

Le fait d'être membre vous permet d'avoir des options supplémentaires.