PRM man pages : PRM_kill(8)

NAME

     PRM_kill - Kill PRM node managers and system managers

SYNOPSIS

     PRM_kill config-file ...

DESCRIPTION

     PRM_kill kills node managers and/or system managers  running
     on  the  hosts  specified  in  one or more config-files.  In
     config-file, each line should consist of three fields: host-
     name,  manager-name (i.e.  sysmngr or nodemngr) and process-
     id of the manager process. A config-file is usually one gen-
     erated  by  PRM_startup(8) (PRM_config.pid).  PRM_kill kills
     node and system managers using signals, and is  useful  when
     some managers have died and PRM is in an inconsistent state.
     To gracefully shut down PRM, use PRM_shutdown(8).

ENVIRONMENT VARIABLES

     ARCH Architecture of the executing host  (currently  limited
          to  sun3, sun4 and hp700)

FILES

     PRM_config.pid      PRM  configuration  file  generated   by
                         PRM_startup

SEE ALSO

     PRM_startup(8), PRM_shutdown(8)