public static void Serialize(TaskManager manager)
{
try
{
string dir = GlobalConfig.getRootDir() + "/";
if (!Directory.Exists(dir))
Directory.CreateDirectory(dir);
FileStream fs = new FileStream(dir+ SysConfig.META_FILE, FileMode.Create);
BinaryFormatter f = new BinaryFormatter();
f.Serialize(fs, manager);
fs.Close();
}
catch (Exception e)
{
}
}
private TaskManagerFactory()
{
manager = TaskManager.Dserialize();
if (manager == null)
manager = new TaskManager();
}
public static void freezeTasks(TaskManager manager)
{
manager.stopAll();
Serialize(manager);
}
