BAP Online Manuals : Library Reference : Library by Name : free_server
Previous: free
Next: frontchar

6.2.60. free_server

returns a server to the public server pool

SYNOPSIS

INCLUDE 'sysman.h'
alloc_server(ServerID),
...
free_server(ServerID).

SYNTAX

free_server(ServerID) (i)

ARGUMENTS

server(ServerID) (i) process ID of server to be returned

DESCRIPTION

Returns a server to the public server pool that has been allocated using the alloc_server () predicate.
NOTE: if you return a server that you do not own, you might confuse the system.

ERRORS

No runtime errors. Unpredictable results in case you return server you do not own.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

alloc_server , exec , release_processes


BAP Online Manuals : Library Reference : Library by Name : free_server
Previous: free
Next: frontchar