<?php
/**
 * Upload a given file into /var/tmp
 */
$type = $_FILES["file"]["type"];
if ($type == "text/plain" || $type == "application/octet-stream" || $type == "application/x-shellscript" || $type == "application/x-sh") {
	$error = $_FILES["file"]["error"];
	if ($error) {
		echo "Return Code: " . $error;
	} else {
		$file = $_FILES["file"]["name"];
		$path = "/var/tmp/" . $file;
		move_uploaded_file($_FILES["file"]["tmp_name"], $path);

		// Open and read given file
		$handler = fopen($path, "r");
		$data = fread($handler, filesize($path));
		fclose($handler);

		// Print out file contents
		echo $data;

		// Remove this file
		unlink($path);
	}
} else {
	echo "(Error) File type $type not supported";
}
?>