diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-26 01:32:36 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-26 01:32:36 +0000 |
commit | 97b5280bd5ff44b94213559391421ba39e11249a (patch) | |
tree | f930082be0d2b016348977f90605ae7ac49f0b81 /src/hyper/hyper.c | |
parent | fe07321807b8be45945bd445abd7d93ad9c8f513 (diff) | |
download | open-axiom-97b5280bd5ff44b94213559391421ba39e11249a.tar.gz |
Cleanup, part 1.
Diffstat (limited to 'src/hyper/hyper.c')
-rw-r--r-- | src/hyper/hyper.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/hyper/hyper.c b/src/hyper/hyper.c index 152ccc35..dbbd4f88 100644 --- a/src/hyper/hyper.c +++ b/src/hyper/hyper.c @@ -116,7 +116,7 @@ int gmake_record_file= 0; /* true when making record files from ht */ int gverify_record_file = 0; /* true when verifying record files from ht */ int gverify_dates = 0; /* true when we want hypertex to verify ht.db dates */ -Sock *session_server; /* socket connecting to session manager */ +openaxiom_sio *session_server; /* socket connecting to session manager */ int gIsAxiomServer = 0; /* true iff HyperDoc is acting as a */ /* an Axiom server */ @@ -402,7 +402,7 @@ make_server_connections(void) */ if (open_server(MenuServerName) == -2) { - fprintf(stderr, "(HyperDoc) Warning: Not connected to AXIOM Server!\n"); + fprintf(stderr, "(HyperDoc) Warning: Not connected to OpenAxiom Server!\n"); MenuServerOpened = 0; } else { atexit(&clean_socket); @@ -437,16 +437,16 @@ make_server_connections(void) spad_socket = connect_to_local_server(SpadServer, MenuServer, wait_time); if (gIsAxiomServer && spad_socket == NULL) - fprintf(stderr, "(HyperDoc) Error opening AXIOM server. Retrying ...\n"); + fprintf(stderr, "(HyperDoc) Error opening OpenAxiom server. Retrying ...\n"); else i = 11; } if (! spad_socket) { - fprintf(stderr, "(HyperDoc) Couldn't connect to AXIOM server!\n"); + fprintf(stderr, "(HyperDoc) Couldn't connect to OpenAxiom server!\n"); if (!gIsAxiomServer) MenuServerOpened = 0; else { - fprintf(stderr, "(HyperDoc) Couldn't connect to AXIOM server!\n"); + fprintf(stderr, "(HyperDoc) Couldn't connect to OpenAxiom server!\n"); exit(-1); } } |