Copyright
Digital Equipment Corp.
All rights reserved.
EVENT_CLUSTER_NAME
EVENT_CLUSTER_NAME=(event-flag-cluster-name,...) Specifies the name of the event flag cluster.