--- /dev/null
+<?php
+ session_start();
+ $fn = preg_replace("/\W/","",$_REQUEST["location"]);
+ switch ($_SERVER["REQUEST_METHOD"]) {
+ case "GET" :
+ if (isset($_SESSION[$fn])) {
+ print($_SESSION[$fn]);
+ }
+ else {
+ $fh = fopen($fn, 'r');
+ print(fread($fh, filesize($fn)));
+ fclose($fh);
+ }
+ break;
+ case "PUT" :
+ $contents = file_get_contents('php://input');
+ print($contents);
+ $_SESSION[$fn]=$contents;
+ break;
+ case "POST" :
+ if (isset($_SESSION[$fn])) {
+ $old = $_SESSION[$fn];
+ }
+ else {
+ $fh = fopen($fn, 'r');
+ $old = fread($fh, filesize($fn));
+ fclose($fh);
+ }
+ $contents = file_get_contents('php://input');
+ $_SESSION[$fn]=$old . $contents;
+ break;
+ case "DELETE" :
+ $_SESSION[$fn]="deleted";
+ break;
+ }
+?>