out.flush();
flush(); } catch (InterruptedIOException iioe) { Thread.currentThread().interrupt();
  public void write (int oneByte)  {    try      {	out.write(oneByte);	if (auto_flush && oneByte == '\n')	  out.flush();      }    catch (IOException e)      {	setError ();      }  }