public void Flush () { CheckDisposed (); if (WriterState != HtmlWriterState.Default) { WriterState = HtmlWriterState.Default; html.Write (empty ? "/>" : ">"); empty = false; } html.Flush (); }