$sess_data) { $_SESSION = $sess_data; $sess_data = session_encode(); $filename = "$path/sess_$sess_name"; $bytes = file_put_contents($filename, $sess_data); echo "
$bytes bytes written to $filename.