protected void markFlushed(){
  if (doneLock != null) {
    if (NSLogger.debugLogger)     Log.v("NSLogger",String.format("marking message %d as flushed",sequenceNumber));
    doneLock.lock();
    doneCondition.signal();
    doneLock.unlock();
  }
}

protected void markFlushed ( ) { if ( doneLock != null ) { if ( NSLogger . debugLogger ) Log . v ( "NSLogger" , String . format ( "marking message %d as flushed" , sequenceNumber ) ) ; doneLock . lock ( ) ; doneCondition . signal ( ) ; doneLock . unlock ( ) ; } }
internally used by the logging thread to mark this message as " flushed " ( sent to the desktop viewer or written to the log file )
