Revision 72087dcd
| b/lib/utils.py | ||
|---|---|---|
| 645 | 645 |
raise |
| 646 | 646 |
|
| 647 | 647 |
|
| 648 |
def RemoveDir(dirname): |
|
| 649 |
"""Remove an empty directory. |
|
| 650 |
|
|
| 651 |
Remove a directory, ignoring non-existing ones. |
|
| 652 |
Other errors are passed. This includes the case, |
|
| 653 |
where the directory is not empty, so it can't be removed. |
|
| 654 |
|
|
| 655 |
@type dirname: str |
|
| 656 |
@param dirname: the empty directory to be removed |
|
| 657 |
|
|
| 658 |
""" |
|
| 659 |
try: |
|
| 660 |
os.rmdir(dirname) |
|
| 661 |
except OSError, err: |
|
| 662 |
if err.errno != errno.ENOENT: |
|
| 663 |
raise |
|
| 664 |
|
|
| 665 |
|
|
| 648 | 666 |
def RenameFile(old, new, mkdir=False, mkdir_mode=0750): |
| 649 | 667 |
"""Renames a file. |
| 650 | 668 |
|
Also available in: Unified diff