real player files

Dr. Greg Quinn greg at franklin.burnham-inst.org
Fri Jan 29 18:28:43 EST 1999

Giorgos Karas (giorgos.karas at usa.net) wrote:
: Or you could track the temporary file in the Windows/temp directory and copy
: it as the player plays it and then paste it and change its name. you will be
: left with the file :)
: of course, you will lose the last 2 seconds or so of the file, since if you
: copy it midway, only that portion will be copied. so i would suggest, you
: listen to it once and then copy it a couple of seconds before the end. happy
: copying and pasting!!!

What?!! Real audio is streamed, which means that it plays it as it's downloaded.
To reiterate, you need to buy the Real Player plus which will allow the file
to be saved *ONLY* if that feature was enabled when the file was created with 
Real Producer. Alternatively, if the file is being served from a web server 
and not a RealServer, you can download it as a single file by removing the 
association between the file extension and realaudio ...but is it worth the 

More information about the Info-gcg mailing list

Send comments to us at biosci-help [At] net.bio.net