<?php
   session_start(); //Iniciamos la session
   if(!isset($_SESSION['user'])) {
     header("location: error404.php");
   }
			$archivo = "/home/".$_SESSION['user']."/scripts/".$_GET["archivo"];
			$file = fopen($archivo, "r") or exit("Unable to open file!");
			//Output a line of the file until the end is reached
			while(!feof($file))
			{
			echo fgets($file). "<br />";
			}
			fclose($file);

?>