public static void Dump(object value, object file, object version)
{
PythonFile pf = file as PythonFile;
if (pf == null)
{
throw Ops.TypeError("expected file, found '{0}'", Ops.GetDynamicType(file).__name__);
}
pf.Write(DumpString(value, version));
}
public static void WriteToFileDescriptor(int fd, string text)
{
PythonFile pf = PythonFileManager.GetFileFromId(fd);
pf.Write(text);
}
