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()); }