#!/bin/bash

set -e

. ./CLUSTER-SERVER/_mongodb_cluster_common.bash

gs_mongodb_cluster_require_local_role \
    "config-server" \
    "$GS_MONGODB_CONFIG_SERVER_HOSTNAME"

gs_mongodb_stop_pidfile \
    "MongoDB config server" \
    "$GS_MONGODB_CLUSTER_HOME/config-server/run/mongod.pid" \
    "$GS_MONGODB_START_TIMEOUT"