Exemplo n.º 1
0
 final void file_flush() {
   if (closed) err_closed();
   try {
     file.flush();
   } catch (IOException e) {
     throw Py.IOError(e);
   }
 }
Exemplo n.º 2
0
 public void flush() throws IOException {
   file.flush();
 }