PHP会话Session

<?php
   //开启会话，PHP会话也提供多种存储方式，文件、数据库等
   session_start();

    if(isset($_GET['user']))
    {
    	$_SESSION['user'] = $_GET['user'];
    	echo "欢迎:".$_SESSION['user'];
    }
    else
    {
    	if(isset($_SESSION['user']))
	    {
	    	echo "欢迎:".$_SESSION['user'];
	    }
	    else
	    {
    	echo "请指定用户...";
	    }
    }

?>