A web server for massively multi-user online applications