Function pushNamedInt

src/bzflag/HubLua.cpp:92–96

static void pushNamedInt(lua_State* L, const char* key, int value) {
  lua_pushstring(L, key);
  lua_pushinteger(L, value);
  lua_rawset(L, -3);
}


static void limitMembers(lua_State* L, const char* table,