diff options
author | Artur Signell <artur@vaadin.com> | 2013-10-18 14:08:50 +0300 |
---|---|---|
committer | Vaadin Code Review <review@vaadin.com> | 2013-10-24 05:33:26 +0000 |
commit | 049b9d99ff887e9408e23cbd169431140dd0afa9 (patch) | |
tree | 0f5af8c1e0d97d67fc59049e0a4c5813bf332d0d /theme-compiler | |
parent | 2c6d010d90b96b0a087af589af27d9dd11ceca33 (diff) | |
download | vaadin-framework-049b9d99ff887e9408e23cbd169431140dd0afa9.tar.gz vaadin-framework-049b9d99ff887e9408e23cbd169431140dd0afa9.zip |
Remove out of order flush() (#12283)
Writer.flush() is specified as:
"Flushes the stream. If the stream has saved any characters from the various
write() methods in a buffer, write them immediately to their intended
destination. Then, if that destination is another character or byte stream,
flush it. Thus one flush() invocation will flush all the buffers in a chain
of Writers and OutputStreams."
Change-Id: Iecafdbb13a7a26a48300d2967c25c705f5bf1e38
Diffstat (limited to 'theme-compiler')
0 files changed, 0 insertions, 0 deletions