<?

	//we will use a buffer so we can report how large the file is so browsers generate a progress indicator for the download
	ob_start();






	include($_SERVER['DOCUMENT_ROOT'] . "/system_files/functions.php");
	
	
	
	// just so we know it is broken
    //error_reporting(E_ALL);
	
	
	//SHOWS A DOCUMENT FROM THE LIBRARY (PDF ONLY RIGHT NOW)
    
	// some basic sanity checks
    if(isset($_GET['id']) && is_numeric($_GET['id']) && $_GET['id']>=1) {
    	
		// get the image from the db
       	$sql = "SELECT filetype, content, filename FROM Library WHERE id=$id";
		
		// the result of the query
    	$result = database_query($sql);
 
 		if($result){
			
			$myrow=mysql_fetch_row($result);
			
			// set the header for the image
        	header("Content-type: " . $myrow[0]);
			header("Content-Disposition: inline; filename=\"$myrow[2]\"");
        	echo $myrow[1];
			
		}
		else{
			
			echo "Error getting your document from the database (102)";
			
		}
			
	}
 		
	else {
    
	    echo "Please use a real document ID number (100).";
    
	}	
	
	
	
	header('Content-Length: ' . ob_get_length());
	ob_end_flush();


?>