查找下载文件的文件扩展名（AIR）

Question

我试图使用Flickr API下载Flickr视频。下面的网址下载3685555296_mobile.mp4

http://www.flickr.com/photos/schill/3685555296/play/mobile/3ae21a2693/

现在，我使用的URLLoader（二进制数据格式）下载并写入视频磁盘。有没有办法在写入磁盘之前找到视频的扩展名？我需要这个来构建视频文件的自定义名称。

Answer 1

从我在这里读到的thread。文件类型信息在MIME头的“Content-Disposition”部分中发送。

所以我通过使用URLRequest class的contentType属性来计算，你应该能够确定传入文件的文件类型。