#!/bin/sh # # restart-sakai - restart Sakai without upgrading # # $Id$ # to avoid code duplication, we've added a NO_UPGRADE flag # to call upgrade-sakai with, and that's what we do upgrade_sakai=`dirname "$0"`/upgrade-sakai Die() { Warn fatal error: $@; exit 1; } [ -x $upgrade_sakai ] || Die cannot find upgrade-sakai NO_UPGRADE=1 $upgrade_sakai "$@"