#!/bin/sh

IHS_SERVER_ROOT="@@SERVERROOT@@"
. ${IHS_SERVER_ROOT}/bin/gsk_envvars

if [ $IHS_GSK_ARCH = "32" ]; then
  exec ${IHS_SERVER_ROOT}/gsk8/bin/gsk8ver
else
  exec ${IHS_SERVER_ROOT}/gsk8/bin/gsk8ver_64
fi
