(formatter.py):  Add a flush() method to the writer interface.  This really
	needs to be a standard part of the interface, so we'll have it in
	for the next release.
1 file changed