WebSocket timeout in Firefox (and Chrome)
<p>I use <a href="https://github.com/ghedipunk/PHP-Websockets" rel="nofollow">PHP WebSockets</a>.</p>

<p>I've set a long timeout on the server:</p>

<pre><code>protected function connected ($user) {
    socket_set_option($user-&gt;socket, SOL_SOCKET, SO_RCVTIMEO, array('sec'=&gt;7200, 'usec'=&gt;0));
    socket_set_option($user-&gt;socket, SOL_SOCKET, SO_SNDTIMEO, array('sec'=&gt;7200, 'usec'=&gt;0));
}
</code></pre>

<p>Nevertheless Firefox disconnects after about 5 minutes. I strongly suspect that this is because a timeout in Firefox.</p>

<p>What is the exact value of the timeout? How my JaveScript can access it? Can I change it?</p>

<p>The same applies to Chrome.</p>