style.css
.def {font-family: Arial;
font-size: 9pt;
color: #000000;
background-color: #ffffff;}
.code {font-family: Courier New;
font-size: 9pt;
color: #000000;}
td {font-family: Arial;
font-size: 9pt;
color: #000000;
background-color: #ffffff;}
.form {font-family: Arial;
font-size: 9pt;
color: #000000;}
form {margin: 0;
padding: 0;}
file.php
[error] "; // foutboodschap voorvoegsel
function getext($name) {
// pre: een bestandsnaam
// ret: de extensie van de bestandsnaam
$atemp = explode(".", $name);
return strtolower(array_pop($atemp));
}
function getname($name) {
// pre: een bestandsnaam
// ret: het naam-deel van de bestandsnaam
$atemp = explode(".", $name);
array_pop($atemp);
return implode(".", $atemp);
}
if(isset($_POST['action'])) {
// selecteer een bestand
if($_POST['action'] == "select") {
$filename = $_POST['ffile']; // selecteer het textbestand
$focus = true;
}
// wijzig een bestand
if($_POST['action'] == "change") {
$filename = $_POST['ffile']; // selecteer het textbestand
chmod($dir."/".$filename, 0666);
$handle = fopen($dir."/".$filename, "wt"); // openen om (t)extfile te over(w)riten
fwrite($handle, stripslashes($_POST['tekst']));
fclose($handle);
chmod($dir."/".$filename, 0600);
$msg = "file '".$filename."' saved succesfully";
$focus = true;
}
// maak een bestand
if($_POST['action'] == "create") {
$newfile = $_POST['cfile'].".".$_POST['ext']; // naam en extensie
if(preg_match($pattern, $_POST['cfile'])) {
if(!file_exists($dir."/".$newfile)) {
if(!touch($dir."/".$newfile)) {
$msg = $error."failed to create file '".$newfile."'";
} else {
$msg = "successfully created file '".$newfile."'";
chmod($dir."/".$newfile, 0600);
$filename = $newfile; // selecteer het textbestand
$focus = true;
}
} else {
$msg = $error."file '".$newfile."' already exists";
}
} else {
$msg = $error."invalid file name";
}
}
// verwijder een bestand
if($_POST['action'] == "delete") {
$bdel = @unlink($dir."/".$_POST['ffile']);
$msg = "removing ".$_POST['ffile']." ".($bdel ? "" : "un")."succesful";
}
// hernoem een bestand
if($_POST['action'] == "rename") {
if(!strcmp($_POST['fname'].".".$_POST['ext'], $_POST['ffile'])) {
$msg = $error."source and destination file have the same name";
} else {
if(file_exists($dir."/".$_POST['fname'].".".$_POST['ext'])) {
$msg = $error."the target name exists already";
} else {
if(!preg_match($pattern, $_POST['fname'])) {
$msg = $error."error renaming to '".$_POST['fname'].".".$_POST['ext']."'";
} else {
if(rename($dir."/".$_POST['ffile'], $dir."/".$_POST['fname'].".".$_POST['ext'])) {
$msg = "'".$_POST['ffile']."' renamed to '".$_POST['fname'].".".$_POST['ext']."'";
$filename = $_POST['fname'].".".$_POST['ext']; // select the textfile
$focus = true;
} else {
$msg = $error."error renaming file";
}
}
}
}
} // einde hernoeming
} // einde actie
?>
file manipulation
>
status message: