function logout()
{
session_start();
$usr = creaInvitado();
$_SESSION['usuario'] = $usr;
return $usr;
}
<head>
<meta charset="utf-8"></meta>
<META NAME="AUTHOR" CONTENT="elb uko">
<META HTTP-EQUIV="CONTENT-LANGUAGE" CONTENT="es-ES">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>JuegosKeleto!</title>
<link rel="shortcut icon" href="img/pacman/fantasma1.png" type="image/png" />
<?php
//incluyo los archivos necesarios
include "php/control/session.php";
//Activacion de la sesion
session_start();
if (isset($_SESSION['usuario'])) {
echo "<script>var defaultUsr='******'usuario'] . "', invitado = false;</script>\n";
} else {
$usuarioInvitado = creaInvitado();
//Contador para la sesion de invitado
echo "<script>var defaultUsr= '******', invitado = true;</script>\n";
$_SESSION['usuario'] = $usuarioInvitado;
}
?>
</head>
<body>
<div id="nav">
<div id="NavBtns">
<div class="NavBtn">
<a href="portal.html" target="ventana" class="linkMenu">
<p class="txtBotonHead">Juegos</p>
</a>
</div>
<div class="NavBtn">