changeset 5083 | f94dbc6c7eaf |
parent 5080 | 73fdc8bd3ed8 |
child 5105 | 64888ff907f4 |
child 5148 | 06154aff2b1a |
--- a/mercurial/commands.py Tue Aug 07 15:56:26 2007 +0200 +++ b/mercurial/commands.py Wed Aug 08 22:47:30 2007 +0200 @@ -2471,7 +2471,7 @@ for o in optlist.split(): if opts[o]: parentui.setconfig("web", o, str(opts[o])) - if repo.ui != parentui: + if (repo is not None) and (repo.ui != parentui): repo.ui.setconfig("web", o, str(opts[o])) if repo is None and not ui.config("web", "webdir_conf"):