<?php
	session_start();
	  if(isset($_GET['name']))
	  {
		$currentFolder = $_SESSION['currentDirectory'];
		$ori_name=$_GET['name'];
		$d = "dir";
		$path = $currentFolder.'/'.$ori_name;
		//echo $path."<br >";
		$des = "D:\web_space_downloads\\".$ori_name;
        $data = file_get_contents($path);
        $file = fopen($des, 'w+');
        fputs($file, $data);
        fclose($file);
        echo "Successfully downloaded<br >";
        header('Refresh:3;URL = main.php');
     }
?>