Minor auxiliary functions used by JAgoraServer.