# HG changeset patch # User Richard M. Stallman # Date 917208425 0 # Node ID 1f8d4cb55bd690e3344981667d8ceca02cffed16 # Parent 719325fbe6a1d62e4c1950c0db47af37654b5b2f (same_x_server): Detect treat ":0" and "unix:0" as the same. Treat "myname:0" as the same as those two. diff -r 719325fbe6a1 -r 1f8d4cb55bd6 src/xterm.c --- a/src/xterm.c Sun Jan 24 20:06:34 1999 +0000 +++ b/src/xterm.c Sun Jan 24 20:07:05 1999 +0000 @@ -6951,6 +6951,34 @@ char *name1, *name2; { int seen_colon = 0; + unsigned char *system_name = XSTRING (Vsystem_name)->data; + int system_name_length = strlen (system_name); + int length_until_period = 0; + + while (system_name[length_until_period] != 0 + && system_name[length_until_period] != '.') + length_until_period++; + + /* Treat `unix' like an empty host name. */ + if (! strncmp (name1, "unix:", 5)) + name1 += 4; + if (! strncmp (name2, "unix:", 5)) + name2 += 4; + /* Treat this host's name like an empty host name. */ + if (! strncmp (name1, system_name, system_name_length) + && name1[system_name_length] == ':') + name1 += system_name_length; + if (! strncmp (name2, system_name, system_name_length) + && name2[system_name_length] == ':') + name2 += system_name_length; + /* Treat this host's domainless name like an empty host name. */ + if (! strncmp (name1, system_name, length_until_period) + && name1[length_until_period] == ':') + name1 += length_until_period; + if (! strncmp (name2, system_name, length_until_period) + && name2[length_until_period] == ':') + name2 += length_until_period; + for (; *name1 != '\0' && *name1 == *name2; name1++, name2++) { if (*name1 == ':')