> 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. _______________________________________________ Pan-users mailing list Pan-users@nongnu.org http://lists.nongnu.org/mailman/listinfo/pan-users
