public static void SaveEscola()
{
string escolaFile = DataLocationFolder + "Escolas.json";
System.Text.Json.JsonSerializerOptions options = new System.Text.Json.JsonSerializerOptions()
{
WriteIndented = true
};
string json = System.Text.Json.JsonSerializer.Serialize(Escolas.ToArray(), options);
string serverPath = @"srvmm";
using (Network.NetworkShareAccesser.Access(serverPath, "meiomundo", "meiomundo"))
{
System.IO.File.WriteAllText(escolaFile, json);
}
}
//public static Internal.Escola AddEscola()
//{
// Internal.Escola escola = new Internal.Escola();
// escola.Name = "Escola ...";
// escola.ID = Escolas.Count;
// escola.Anos = new List<Internal.Ano>();
// Escolas.Add(escola);
// return escola;
//}
public static Internal.Escola[] GetEscolas() => Escolas.ToArray();