14686 |
the screen number from the server number. */ |
the screen number from the server number. */ |
14687 |
static int |
static int |
14688 |
same_x_server (name1, name2) |
same_x_server (name1, name2) |
14689 |
char *name1, *name2; |
const char *name1, *name2; |
14690 |
{ |
{ |
14691 |
int seen_colon = 0; |
int seen_colon = 0; |
14692 |
unsigned char *system_name = SDATA (Vsystem_name); |
const unsigned char *system_name = SDATA (Vsystem_name); |
14693 |
int system_name_length = strlen (system_name); |
int system_name_length = strlen (system_name); |
14694 |
int length_until_period = 0; |
int length_until_period = 0; |
14695 |
|
|