file size php

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
 <head>
  <title> New Document </title>
  <meta charset="GBK">
  <meta name="Author" content="">
  <meta name="Keywords" content="">
  <meta name="Description" content="">
 </head>

 <body>
<form method="get" action="fileSize.php">
	<input type="text" name="file">
	<br>
	<input type="submit" value="submit">
</form>
 </body>
</html>

 

 <?php
 function GetFileSize($file)
{
	if (file_exists($file))
	{
		return filesize($file);
	}
	else
	{
      return -1;
	}
}

if(isset($_GET["file"]))
{
	header("Content-type: text/plain; charset=gbk"); 
	$file=$_GET["file"];

	$a = GetFileSize($file);
	print_r($a);
	return;
}
else
{
	echo -1;
}
?>

 

posted @ 2017-05-02 18:45  sky20080101  阅读(109)  评论(0编辑  收藏  举报