[MPlayer-users] How to save RealMedia streams?

[Joao Fraga]

This is an old question, but it seems that it is not easy to find 
answers. How to save RealAudio or RealVideo streams on local disk?

RealMedia protocol has a field named "Allow download". But even when it 
is "Yes", RealPlayer doesn't offer a "Save stream to file" option.

Since MPlayer is now able to play RealMedia, I was wondering if it had a 
way to save the stream as a file.

Thank you,
Joao