getPlayerName: Get player name

In kbroman/miner: Control Minecraft with RaspberryJuice API

Description

Get the name of a player with a given ID

Usage

getPlayerName(player_id)

Arguments

player_id

Integer giving the ID of a player. You can find IDs of all current players using getPlayerIds().

Value

A character string with the name of the identified player.

See Also

getPlayerIds(), getPlayerId()

Examples

## Not run: 
mc_connect()
getPlayerIds()
getPlayerName(322)

## End(Not run)

kbroman/miner documentation built on Jan. 26, 2021, 8:14 p.m.