| commit | 039accfb2caafdaa6d792f09b217ff0f5935df42 | [log] [tgz] |
|---|---|---|
| author | Greg Ward <gward@python.net> | Sat Jun 17 01:58:14 2000 +0000 |
| committer | Greg Ward <gward@python.net> | Sat Jun 17 01:58:14 2000 +0000 |
| tree | 292181c3cbfe1833b3056abb6d5b4463dd60ddb0 | |
| parent | c566232c4dbfbeda855e8721ced5fef55ab60e09 [diff] |
Bastian Kleineidam: added 'remove_tree()' function. Needed so that 'remove_tree()' can cooperate with 'mkpath()' in the maintenance of the PATH_CREATED cache: specifically, if a directory is created with 'mkpath()', later removed with 'remove_tree()', and 'mkpath()' is again requested to create it, then it would erroneously think the directory already existed, because it was in the PATH_CREATED cache. The patch (slightly tweaked by me) fixes that.