<?php

	$source = isset($_POST['source']) ? $_POST['source'] : 'text' ;
	
	$file = 'code/'.$source.'.html';
	if(file_exists($file)) {
		echo('<div id="gutter"></div>');
		# readfile($file);
		$fd = fopen($file, "r");
		if($fd !== false) {
			$buf = fread($fd, filesize($file));
			echo($buf);
		} else {
			echo('Ooops');
		}
	} else {
		echo('<div class="linenumbers"></div><span class="comment">No Source found: '.$source.'</span>');
	}
	
?>