If PRM was set up using the PRM_startup script, use PRM_shutdown to shut down all managers. PRM_shutdown takes names of one or more PRM_config files as command line argument:
PRM_kill is another script that accomplishes the same. It however kills node and system managers using signals, and is useful when some managers have died and PRM is in an inconsistent state.
If PRM was started manually, or if you'd like to shut down part of a PRM configuration, use shutdown host to shut down a node manager running on host host. shutdown - host shuts down a system manager running on host. You may also kill a manager using the kill(1) command in Unix.