public static object GetFileFStats(int fd)
{
PythonFile pf = PythonFileManager.GetFileFromId(fd);
return(GetFileStats(pf.name));
}
public static object FileForDescriptor(ICallerContext context, int fd, string mode, int bufsize)
{
PythonFile pf = PythonFileManager.GetFileFromId(fd);
return(pf);
}
public static void CloseFileDescriptor(int fd)
{
PythonFile pf = PythonFileManager.GetFileFromId(fd);
pf.Close();
}
public static void WriteToFileDescriptor(int fd, string text)
{
PythonFile pf = PythonFileManager.GetFileFromId(fd);
pf.Write(text);
}
public static string ReadFromFileDescriptor(int fd, int buffersize)
{
PythonFile pf = PythonFileManager.GetFileFromId(fd);
return(pf.Read());
}