ther to (auto)connect the websocket or not. Defaults to <code>true</code>. It's interpreted as a JavaScript
 instruction whether to open or close the websocket push connection. Note that this attribute is re-evaluated on every
 ajax request. You can also explicitly set it to <code>false</code> and then manually control in JavaScript by
 <span class="changed_modified_4_0">
 <code>faces.push.open("channelName")</code> and <code>faces.push.close("channelName")</code></span>.</div>
<dl>
<dt><span class="paramLa