diff --git a/src/java/com/threerings/parlor/game/server/GameManager.java b/src/java/com/threerings/parlor/game/server/GameManager.java index f8433d95..33b0e0c4 100644 --- a/src/java/com/threerings/parlor/game/server/GameManager.java +++ b/src/java/com/threerings/parlor/game/server/GameManager.java @@ -374,6 +374,16 @@ public class GameManager extends PlaceManager return (_gameobj == null) ? -1 : _gameobj.getPlayerIndex(username); } + /** + * Is the specified oid that of a player in this game? + */ + public int getPlayerIndex (int bodyOid) + { + return (_playerOids == null) + ? -1 + : IntListUtil.indexOf(_playerOids, bodyOid); + } + /** * Returns the user object oid of the player with the specified index. */