@verb #2348:"is_player" this none this rxdo #9452
@program #2348:"is_player" this none this
if (!(caller_perms() in this.admins))
  raise(E_PERM)
else
  dude = args[1] in this.player_index
  if (dude > 0)
    return 1
  else
    return 0
  endif
endif
"Last modified by Crono (#9452) on Fri Apr 12 21:13:05 2002 MDT."
.