#! /bin/sh
# %W% %E%
#
#       NOTICE TO USER: The source code in this file is copyrighted under
#       U.S. and international laws.  SunSoft, Inc., a Sun Microsystems,
#       Inc. business of Mountain View, California owns the copyright.
#       Users and possessors of this source code are hereby granted a
#       nonexclusive, royalty-free copyright and design patent license
#       to use this code in individual and commercial software.
#
#       Any use of this source code must include, in the user documentation
#       and internal comments to the code, notices to the end user as follows:
#
#(c) Copyright 1992, 1993 SunSoft, Inc., a Sun Microsystems, Inc. business.
#
#       SUNSOFT, INC. AND SUN MICROSYSTEMS, INC. MAKE NO REPRESENTATIONS
#       ABOUT THE SUITABILITY OF THIS SOURCE CODE FOR ANY PURPOSE. IT IS
#       PROVIDED "AS IS" WITHOUT EXPRESS OR IMPLIED WARRANTY OF ANY KIND.
#       SUNSOFT, INC., AND SUN MICROSYSTEMS, INC., SEVERALLY AND
#       INDIVIDUALLY, DISCLAIM ALL WARRANTIES WITH REGARD TO THIS SOURCE
#       CODE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
#       FITNESS FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL SUNSOFT, INC.
#       OR SUN MICROSYSTEMS, INC., BE LIABLE FOR ANY SPECIAL, INDIRECT,
#       INCIDENTAL, OR CONSEQUENTIAL DAMAGES, OR ANY DAMAGES WHATSOEVER
#       RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
#       OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
#       OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOURCE CODE.
#


#
# Check whether server's still running, restart server if necessary
# This script uses rsh to execute $TESTBASE/$SERVER_RESTART in
# a remote system $TARGET_SYSTEM. Note that this script works in
# both local and remote cases.
#

# Check whether server's still running
pexdpyinfo -extensionInfo >/dev/null

# if server is not running
if [ $? != 0 ]
then
    echo PEX server $DISPLAY not responding
    echo attempting to PEX restart server on $DISPLAY...
    rsh $TARGET_SYSTEM $TESTBASE/$SERVER_RESTART

    pexdpyinfo -extensionInfo >/dev/null
    if [ $? != 0 ]
    then
        echo PEX server restart failed, exiting...
        exit 1
    fi
fi 

