equal
deleted
inserted
replaced
717 u = ui() |
717 u = ui() |
718 repo = repository(u, path) |
718 repo = repository(u, path) |
719 if not address: |
719 if not address: |
720 address = u.config("web", "address", "") |
720 address = u.config("web", "address", "") |
721 if not port: |
721 if not port: |
722 print port |
|
723 port = int(u.config("web", "port", 8000)) |
722 port = int(u.config("web", "port", 8000)) |
724 if not use_ipv6: |
723 if not use_ipv6: |
725 use_ipv6 = u.configbool("web", "ipv6") |
724 use_ipv6 = u.configbool("web", "ipv6") |
726 |
725 |
727 accesslog = openlog(accesslog or u.config("web", "accesslog", "-"), |
726 accesslog = openlog(accesslog or u.config("web", "accesslog", "-"), |