public Stream Download (DBFile file)
{
if (file.file_id.HasValue) {
return new DBFileStream (file, this);
} else {
return new System.IO.Compression.GZipStream (new FileStream (DBFile_Extensions.GetFullPath (file.md5), FileMode.Open, FileAccess.Read), System.IO.Compression.CompressionMode.Decompress);
}
}