server_stop/1

Shuts down a socket server

server_stop(+Server)

server_stop/1 stops a server that has been started with server_start4. After calling this predicate all further connection requests from clients to Server will be refused.

Arguments

Server             object

Examples

main(_) :-
    server_start(1352, 3, accept_connection(_), Server),
    set_global(server_handle, Server).

accept_connection(Socket) :-
    open(Socket, read, Input, [socket,buffered,binary]),
    open(Socket, write, Output, [socket,buffered,binary]),
    receive(Input, Request),
    handle_request(Request, Anwer),
    ( Answer \= none -> send(Output, Answer); true ),
    close(Input),
    close(Output),
    close(Socket).

handle_request(stop, none) :-
    get_global(server_handle, Server),
    server_stop(Server).
handle_request(Request, Answer) :-
    ...

See also