On Mon, Aug 10, 2009 at 07:23:34PM +0100, Guido Trotter wrote: > > On Mon, Aug 10, 2009 at 7:19 PM, Luca Bigliardi<[email protected]> wrote: > > On Mon, Aug 10, 2009 at 7:01 PM, Guido Trotter<[email protected]> wrote: > > > >> Should we have a better separator? "," or ":"? > > > > Let's say "," ? ":" might not be cool for IPv6.. > > > > IPv6? What's that? :) :) Just kidding, you're right, "," is better!
IMHO space is much better. Space is not a valid char for neither hostname nor uuids nor IPs, so you can simply use that. iustin
