569570571572573574575576577578579
Player p = e.server.findPlayer(player); if (p == null) { e.notifyError("isarea: Player not found!"); push(false); } HashSet<Area> areas = new HashSet<Area>(e.server.config.dimensions.areas(p.position())); for (Area a : areas) { if (a.name.equals(area)) { push(true); return; }
589590591592593594595596597598599
e.notifyError("isarea: Player not found!"); push(false); } ArrayList<String> c = new ArrayList<String>(); c.add(String.valueOf(p.position().x())); c.add(String.valueOf(p.position().y())); c.add(String.valueOf(p.position().z())); push(c); }
590591592593594595596597598599600
push(false); } ArrayList<String> c = new ArrayList<String>(); c.add(String.valueOf(p.position().x())); c.add(String.valueOf(p.position().y())); c.add(String.valueOf(p.position().z())); push(c); } /* array ops */
591592593594595596597598599600601
} ArrayList<String> c = new ArrayList<String>(); c.add(String.valueOf(p.position().x())); c.add(String.valueOf(p.position().y())); c.add(String.valueOf(p.position().z())); push(c); } /* array ops */