时间戳转换为“年-月-日 时:分:秒”的格式

<?php
	if($argc < 2){
		print "请输入命令 'php ".$argv[0]." time', 期中time
			是你想转换的时间。";
		exit(0);
	}
	$time = $argv[1];
	echo date("Y-m-d H:i:s", $time)."\n";
?>