From 77a14f71a1fabf39d8b74293a7b9efd27341b1cb Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Mon, 19 Jan 2015 20:45:19 +0100 Subject: [PATCH] edit: delete page if emptied --- edit.php | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/edit.php b/edit.php index 1091da4..28d866b 100755 --- a/edit.php +++ b/edit.php @@ -15,12 +15,21 @@ $filename = preg_replace('/(?:\.html)?$/', '.html', ltrim($_SERVER['PATH_INFO'], if (file_exists($filename) and !is_writable($filename)) abort('403 input error', "ongeldige bestandsnaam: $filename"); -$prepend = ''."\n\n"; -$append = "\n".''."\n"; +if (!isset($_POST['body'])) + abort('409 input error', "geen inhoud aangeleverd"); + $upload = $_POST['body']; -if (!$upload) - abort('409 input error', "leeg bestand aangeleverd"); +if (!strlen($upload)) { + if (file_exists($filename) and !unlink($filename)) + abort('500 delete error', "fout bij het verwijderen van $filename"); + + print "Bestand verwijderd"; + exit; +} + +$prepend = ''."\n\n"; +$append = "\n".''."\n"; if (!file_put_contents($filename, $prepend . $upload . $append)) abort('500 save error', "fout bij schrijven van $filename"); -- 2.30.0