stream.js: websocket recovery after closed / avoid rewriting update interval in preferences