Forum Thema:

Username:
Culutio
geschrieben am 18.10.2006
um 20:59 Uhr

gibt es eine möglichkeit die dateiendung einer datei rauszukriegen? Also ich will für meine Homepage an der ich derzeitig arbeite (Mache alles neu) ein downloadscript machen bis jetzt klappt alles nur das mit den download will ich diese function verwenden.

[color=#0000FF]
$application="txt"; // Dateiendung
$dateiname="test"; // Ohne . und ohne Dateiendung
header("*lol*-type: application/$application");
header("*lol*-Disposition: attachment; filename=".$dateiname.".".$application."");
readfile("$dateiname.$application");
[/color]
und bei dieser methode brauche man ja die datei endung. Oder kann mir einer eine andere Methode nennen womit man JEDE Datei downloaden kann?

[Antworten]

Forum Thema:

Username:
Ralphwiggum
geschrieben am 19.10.2006
um 00:06 Uhr

Die Datei endung kannst du ganz einfach rausbekommen.
Script:
<?
$Datei = "test.txt";
$Endung = explode(".",$Datei);
echo $Endung[1]; // das ist dann die Endung. ;)

Hoffe ich konnte helfen.
MFG Ralphwiggum

[Antworten]

Forum Thema:

Username:
Culutio
geschrieben am 19.10.2006
um 18:18 Uhr

Vielen dank ich habe das schon so in etwa im kopf gemacht mir viel der functionsname (explode) nur nicht ein ^^

[Antworten]

Forum Thema:

Username:
Neiji
geschrieben am 03.11.2006
um 21:25 Uhr

aha und nehmen wir mal an ich habe im namen auch ein . (Punkt) drinne wie würde man das dann machen?

[Antworten]