29 |
const char *global_session_id; /* Random session ID */ |
const char *global_session_id; /* Random session ID */ |
30 |
|
|
31 |
char *hostname; |
char *hostname; |
32 |
#ifdef SERVER_SUPPORT |
/* FIXME: Perhaps this should be renamed original_hostname or the like? */ |
33 |
char *server_hostname; |
char *server_hostname; |
|
#endif /* SERVER_SUPPORT */ |
|
34 |
|
|
35 |
int use_editor = 1; |
int use_editor = 1; |
36 |
int use_cvsrc = 1; |
int use_cvsrc = 1; |
848 |
hostname = xstrdup ("localhost"); |
hostname = xstrdup ("localhost"); |
849 |
|
|
850 |
} |
} |
851 |
#ifdef SERVER_SUPPORT |
|
852 |
/* Keep track of this separately since the client can change the |
/* Keep track of this separately since the client can change |
853 |
* hostname. |
* HOSTNAME on the server. |
854 |
*/ |
*/ |
855 |
if (server_active) |
server_hostname = xstrdup (hostname); |
856 |
server_hostname = xstrdup (hostname); |
|
|
#endif /* SERVER_SUPPORT */ |
|
857 |
|
|
858 |
#ifdef KLUDGE_FOR_WNT_TESTSUITE |
#ifdef KLUDGE_FOR_WNT_TESTSUITE |
859 |
/* Probably the need for this will go away at some point once |
/* Probably the need for this will go away at some point once |