diff options
| -rwxr-xr-x | mini-dinstall | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mini-dinstall b/mini-dinstall index 27039af..f9d8ec1 100755 --- a/mini-dinstall +++ b/mini-dinstall @@ -240,10 +240,10 @@ if not (configp.has_option('DEFAULT', 'mail_log_level') and configp.get('DEFAULT mail_handler.setLevel(mail_log_level) logger.addHandler(mail_handler) -if configp.has_option('DEFAULT', 'archivedir'): - toplevel_directory = os.path.expanduser(configp.get('DEFAULT', 'archivedir')) -elif args: +if args: toplevel_directory = args[0] +elif configp.has_option('DEFAULT', 'archivedir'): + toplevel_directory = os.path.expanduser(configp.get('DEFAULT', 'archivedir')) else: logger.error("No archivedir specified on command line or in config files.") sys.exit(1) |