[Mailman-Users] DEFAULT_HOSTNAME? (cont'd)

[Eric Pretorious]

Paul Cox's recommendations (DEFAULT_HOSTNAME, DEFAULT_URL, and
DEFAULT_OWNER) patched things up pretty nicely. There still seems to be
some discrepancy in the values that Mailman uses to identify itself (in
the blue banner across the top of the page):

* admin uses the DEFAULT_HOSTNAME value in Mailman/mm_cfg.py

* listinfo seems to use the lower-case values of either:
  a. the --host & --build options (not likely) or
  b. the `hostname` & `domainname` system values.

Is there a logical explanation for this? (Schizophrenia does not count!)
Is there rememdy?

Eric P.
Los Gatos, CA