Well if you take a look at ajenti.org, there's a link to developer documentation: http://docs.ajenti.org

Our system is highly extensible, with the best-of-class APIs :)

It's extremely unlikely that I would be spending time making game server plugins for Ajenti anytime soon. I'd rather suggest to team up with game server (Bukkit etc) administrators/developers who know Python to increase the chances of appearance of such plugin

Fix released

I'm convinced that importing gevent.ssl throws ImportError due to some problem, that's why I was asking to try importing it directly. As you can see, ImportError is suppressed, and gevent.sslold is imported instead; gevent.sslold emits "install ssl" warning unconditionally (see source).

The warning message about installing ssl module is incorrect; it's built into Python 2.6+.
Make sure that you have run command with import gevent.ssl, not import gevent.socket; you shouldn't receive any warnings from gevent/socket.py:795 in it.

Please check whether

    python -c "import gevent.ssl"

yields any errors

It's your browser looking for old port then :) It's not exactly easy to change URL from server side during restart (and we'd lose autoreconnect feature when port isn't changed); it's also a rare one-time use case, so I'm marking this as won't fix for now...

Please include your OS, python-gevent and browser versions

This might be a stupid question, but did you actually click Save button?