Another follow-up: it looks like the source stream is flaky. Other clients (like ffmpeg, and yellow.js running under node) also stop after a while. It would be great if there was a way to somehow reconnect to the stream when this happens (I suppose I could just restart the program)