int pvm_farm_terminate(char *farm_name);

$next$ $up$ $previous$
Next: Client side Up: Appendix- Algorithms for Previous: Server side

int pvm_farm_terminate(char *farm_name);

Client side
Server side