|
public static Save ( |
||
| shred | Shred Object | |
| filename | string | Destination File path |
| return | void | |
public static void Save(Shred shred, string filename)
{
Logger.Info("Serializing shred id={0} to filename={1}", shred.Id, filename);
Stream stream = File.Open(filename, FileMode.Create);
BinaryFormatter binaryFormatter = new BinaryFormatter();
binaryFormatter.Serialize(stream, shred);
stream.Flush();
stream.Close();
}
