# the websocket server. When you do this, you need to set the following
# configuration variable so that the primary server can give out the correct
# address of the dedicated websocket server:
# the websocket server. When you do this, you need to set the following
# configuration variable so that the primary server can give out the correct
# address of the dedicated websocket server: