Hey, real simple, I'm making a small, private server for friends.
I'm working on a website that will display various stats about the server, etc. Ideally, I'd like to find a plugin that can tell me who's on the server, without having to attach to the console. I'm running a linux server, and bukkit / minecraft runs in a screen session.
Ideally, it'd be cool if there was a plugin that would provide a JSON feed that I could just integrate into a php script.... but I'd settle for a command that I could run, that would return a delimited list of usernames, or something like that.