Go to most recent revision | Blame | Last modification | View Log | RSS feed
<?
session_start();
if(!isset($_SESSION['state'])){
$_SESSION['state'] = array(
'sessionId'=>session_id()
);
}
echo 'Ext.appState = ';
echo json_encode($_SESSION['state']);
echo ';';
?>