server_stop/1

ソケット・サーバをシャットダウンします

server_stop(+Server)

server_stop/1は、server_start4で始められたサーバを止めます。 この述語を呼んだ後に生じた、クライアントからServerへの全ての接続要求は、拒否されます。

引き数

Server             オブジェクト

例題

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) :-
    ...

以下も参照して下さい