edit.php

   1 #!/usr/bin/php-cgi
   2 <?php
   3 function abort($status, $body) {
   4         header("HTTP/1.1 $status");
   5         print "$body\n";
   6         exit;
   7 }
   8
   9 if (!$_POST)
  10         abort('405 post error', "niets te doen");
  11 if (!isset($_SERVER['PATH_INFO']) or strlen($_SERVER['PATH_INFO']) <= 1)
  12         abort('409 input error', "geen bestand aangeleverd");
  13
  14 $filename = preg_replace('/(?:\.html)?$/', '.html', ltrim($_SERVER['PATH_INFO'], '/'), 1);
  15 if (file_exists($filename) and !is_writable($filename))
  16         abort('403 input error', "ongeldige bestandsnaam: $filename");
  17
  18 $prepend = '<!--#include virtual="/common.html" -->'."\n\n";
  19 $append  = "\n".'<!--#include virtual="/footer.html" -->'."\n";
  20 $upload = $_POST['body'];
  21
  22 if (!$upload)
  23         abort('409 input error', "leeg bestand aangeleverd");
  24
  25 if (!file_put_contents($filename, $prepend . $upload . $append))
  26         abort('500 save error', "fout bij schrijven van $filename");
  27
  28 print "Bestand opgeslagen";
  29