diff options
| author | 2010-05-30 11:09:47 +0200 | |
|---|---|---|
| committer | 2010-05-30 19:15:44 +0200 | |
| commit | 3f611decfeb9870f2b2dea4080bbfe628d28446b (patch) | |
| tree | efcb7912a5f60140477097b912048622a836478a | |
| parent | bdd0029697de1a7d596f169634413c0f89f0e6e4 (diff) | |
exit with 1 instead of backtrace by creating mini-dinstall's folder
| -rwxr-xr-x | mini-dinstall | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mini-dinstall b/mini-dinstall index 70ca221..274527c 100755 --- a/mini-dinstall +++ b/mini-dinstall @@ -171,7 +171,11 @@ def do_and_log(msg, function, *args): def do_mkdir(name): if os.access(name, os.X_OK): return - do_and_log('Creating directory "%s"' % (name), os.mkdir, name) + try: + do_and_log('Creating directory "%s"' % (name), os.mkdir, name) + except OSError, e: + print e + exit(1) def do_rename(source, target): do_and_log('Renaming "%s" to "%s"' % (source, target), os.rename, source, target) |
