getUser($_SESSION['player_pubkey']); $_SESSION['player_lat'] = $user->_source->geoPoint->lat; $_SESSION['player_lon'] = $user->_source->geoPoint->lon; header('Location:map.php'); } else { $bodyIds = 'login-page'; include_once('header.php'); echo ' '; }