[Gnash-dev] "Save Media" not working for audio streams in 0.8.5 in Ubuntu Jaunty

[John Gilmore]

I was unable to save audio streams in 0.8.5, just video streams; was this
intentional or accidental?  For example, at this page:

  http://radiom.org/detail.php?omid=AM.1977.04.30.A

(Click the "Listen" link at the bottom of the page; then log in using
username from bugmenot.com: "address@hidden", password "yellow".)

The audio stream plays, but is not saved.  In looking at a running
gnash process (/proc/23289/fd), I found two deleted files open in /tmp;
the second one was the audio file:

  $ cat /proc/23289/fd/18 >barf
  $ file barf
  barf: Audio file with ID3 version 2.3, MP3 encoding

That audio file, when played, is the beginning of the radio show
that was streaming.

Why wasn't this saved in the streaming media directory specified in the
gnash preferences?

        John