shutdowncluster.sh

    my version of the cluster shutdown script, circa 2009. the main differences from the standard scripts is that these custom versions didn't have their locations hard coded, and they called each other, reducing code duplication and drift.

    #!/bin/sh
    #
    # ZEO cluster shutdown script
    #
    clusterhome=${0%/*}/..
    
    echo 'Stopping ZEO client1...'
    ${clusterhome}/bin/client1 stop
    echo 'Stopping ZEO client2...'
    ${clusterhome}/bin/client2 stop
    
    echo 'Stopping ZEO server...'
    ${clusterhome}/bin/zeo stop