int pvm_stop_farmd(void);

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