code: public synchronized void push() {
          for (int i = 0; i < count; i++) {
              int ix = (start+i)%buffer.length;
              LogRecord record = buffer[ix];
              target.publish(record);
          }
          // Empty the buffer.
          start = 0;
          count = 0;
      }
docs: Push any buffered output to the target <tt>Handler</tt>.
  <p>
  The buffer is then cleared.