An extensible mahjong server