+ if (substr($_FILES["Datei"]["name"],-2)=="gz") {
+ if (move_uploaded_file($_FILES["Datei"]["tmp_name"],$dir.$file.".csv.gz")) {
+ echo $gz_bin.$dir.$file.".csv.gz";
+ exec ($gz_bin.$dir.$file.".csv.gz");
+ } else {
+ ende ("Upload von Datei fehlerhaft.".$_FILES["Datei"]["error"]);
+ };
+ } else if (substr($_FILES["Datei"]["name"],-3)=="zip") {
+ if (move_uploaded_file($_FILES["Datei"]["tmp_name"],$dir.$file.".zip")) {
+ exec ($zip_bin.$dir.$file.".zip");
+ } else {
+ ende ("Upload von Datei fehlerhaft.".$_FILES["Datei"]["error"]);
+ };
+ } else if (!move_uploaded_file($_FILES["Datei"]["tmp_name"],$dir.$file.".csv")) {