イベントキュー

サーバ側の唯一の機能としてイベントキューがあります。サーバは，サーバが対象とするイベントのタイプに基づいてイベントキューにリスナーを登録できます。サーバは，必要なときにこのイベントを処理します。

イベントキューの詳細については，「22.　イベントキュー」を参照してください。