static void DoFileWrite(string path, File.Code s)
{
if (s.Block == null)
{
return; // do nothing if we have no code
}
string filename = Path.ChangeExtension(Path.Combine(path, s.Name), "js");
using (ResourceFormater fmt = new ResourceFormater(filename)) fmt.Write(s);
}
static void DoFileWrite(string path, File.Code s)
{
string filename = Path.ChangeExtension(Path.Combine(path, s.Name), "js");
using (ResourceFormater fmt = new ResourceFormater(filename)) fmt.Write(s);
}