| commit | 205afb487a4ed9a70b0360da47402d2409aa9ed1 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Fri Jun 25 16:06:29 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Fri Jun 25 16:06:29 1999 +0000 |
| tree | 162010ad9a447e02f82c1e89bf20f297bc7828ce | |
| parent | dd4dda87c1b80e709417664487dfa7ab5581f4e6 [diff] |
Add _close() method that does the actual cleanup (close() asks the user what they want first if there's unsaved stuff, and may cancel). It closes more than before. Add unload_extensions() method to unload all extensions; called from _close(). It calls an extension's close() method if it has one.