Re: [Pan-users] Re: Multiple server support even working?

[Christian Pernegger]

>  Meanwhile, I'd love to know if my 127.0.0.1, 127.0.0.2, etc, idea works!

I imagine it would but I fail to see how that
a) is better than the current workaround of editing /etc/hosts and
adding a few more names for 127.0.0.1. That gives the ability to
"name" servers as a byproduct.
b) gets rid of the root-cause-bug in pan, namely that it assumes
(somewhere) that the host is a unique identifier by itself. In the
config file servers get IDs but apparently they're not used
throughout.

Hmm, I imagine if you couldn't edit /etc/hosts it would still be of value ...

Cheers,

C.