Revision 1948e5fe lib/utils.py
| b/lib/utils.py | ||
|---|---|---|
| 381 | 381 |
raise |
| 382 | 382 |
|
| 383 | 383 |
|
| 384 |
def RemoveDir(dirname): |
|
| 385 |
"""Remove an empty directory. |
|
| 386 |
|
|
| 387 |
Remove a directory, ignoring non-existing ones. |
|
| 388 |
Other errors are passed. This includes the case, |
|
| 389 |
where the directory is not empty, so it can't be removed. |
|
| 390 |
|
|
| 391 |
@type dirname: str |
|
| 392 |
@param dirname: the empty directory to be removed |
|
| 393 |
|
|
| 394 |
""" |
|
| 395 |
try: |
|
| 396 |
os.rmdir(dirname) |
|
| 397 |
except OSError, err: |
|
| 398 |
if err.errno != errno.ENOENT: |
|
| 399 |
raise |
|
| 400 |
|
|
| 401 |
|
|
| 384 | 402 |
def RenameFile(old, new, mkdir=False, mkdir_mode=0750): |
| 385 | 403 |
"""Renames a file. |
| 386 | 404 |
|
Also available in: Unified diff