Discussion :

[Jehuty]

Bonjour voila mon problème :

Je dois récupéré des informations dans un fichier de jeu (un ralenti d'une partie extension age3rec), pour ce faire on ma conseiller de décompressé le contenu du fichier avec la fonction gzuncompress()

Code :

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

1
2
3
4
5
 
$contents = file_get_contents("http://www.aoe3-arena.com/lecture/Fumercos.age3rec");
echo $contents;
$uncompressed = gzuncompress($contents);
echo $uncompressed;

et j'obtiens ça:

http://www.aoe3-arena.com/lecture/lecturegame.php

avez vous une idée?
merci d'avance

[stunti]

Ton fichier est bien decompresse, mais il vaudrait mieux l'ecrire dans un nouveau fichier que de renvoyer le contenu a l'ecran, non ?

[Jehuty]

Justement non si tu regarde la toute derniere ligne on voit qu'il y a une erreur avec la fonction gzuncompress :/
Tout ce que tu voit avant c'est ce que contient le fichier encore compressé.

[stunti]

je n'etais pas alle jusqu'en bas.
tu as essayer de decompresser ton fichier avec un utilitaire avant de le faire en PHP direct ?

[Jehuty]

non, comme le but et de récuperer les info pour les mettre sur internet j'ai tout de suite travaillé sous php.
Pourquoi mon problème est du a un problème de bibliothéque?

[stunti]

Ben, il faudrait deja savoir si ton fichier compresser est valide.
le meilleur moyen c'est d'utiliser un logiciel eprouve (winrar, winzip, 7-ZIP,...)

[Jehuty]

Justement c'est la le probleme,ce n'est pas un fichier rar ni zip, mais je ne sait pas quel format décompresse la fonction gzun :/

[stunti]

GZIP est un format pris en charge par ces trois logiciel.

[Jehuty]

et comment faire? je change l'extension en mettant gzip?

[stunti]

oui, et tu essayes d'ouvrir ca avec un des softwares.

[Neilos]

et comment faire? je change l'extension en mettant gzip?

L'extension pour les GZIP c'est .gz