| commit | 825df2a14d87bf0b668ee7e0a16662c6efc0853c | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Mon Mar 29 14:52:28 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Mon Mar 29 14:52:28 1999 +0000 |
| tree | 0002b337c8b77cf74a7c17b6ad88fbecda987a9f | |
| parent | 02ef28b9a93c12586a7cee6bb731b9be8b529ff4 [diff] [blame] |
At Tim Peters' recommendation, add a dummy flush() method to PseudoFile.
diff --git a/Tools/idle/PyShell.py b/Tools/idle/PyShell.py index e197ad6..8bee5d5 100644 --- a/Tools/idle/PyShell.py +++ b/Tools/idle/PyShell.py
@@ -593,6 +593,9 @@ def writelines(self, l): map(self.write, l) + def flush(self): + pass + def main(): debug = 0