<?php
  session_start();
  if($_SESSION['name']){
  
  	$file= $_GET['name'];	
  	unlink($file);
  	header('Location: workArea.php');
  }
  else header('Location: index.php');
  ?>