#!/bin/sh
#
# $Id: server-restart,v 1.4 2008/05/05 15:58:01 dieter Exp $
#
# Copyright (C) 2002/2003 topIT Informationstechnologie GmbH
# Copyright (C) 2006 independIT Integrative Technologies GmbH
#
$BICSUITEHOME/bin/server-stop "$@"
$BICSUITEHOME/bin/server-start "$@"
