<?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;
	}
?>
