prova così:
Codice PHP:
<?
session_start
();
include(
'settings.php');

$user=$_SESSION['nome'];
?>