";}} ECHO "

";
	// Erzeugen einer neuen Datei
	ECHO "Erzeuge ein zip-Backup-File der Pics-Dateien von $dir ...";
//	$add="-i \*.png";
	ECHO "zip -T -r -9 -i -j $path $dir $add
";
		system ("zip -T -r -9 -j $path $dir $add");
	ECHO "OK

";

	ECHO "

"; $yes=file_exists($path); IF ($yes) { ECHO "

Datei $path wurde erfolgreich geschrieben!

"; ECHO "Download"; } ELSE { ECHO "Konnte Datei $path nicht erstellen. Bitte prüfen Sie, ob Sie dumps erzeugen dürfen oder fragen Sie Ihren Administrator!"; } ?>