#!/bin/bash
# This script sets the location of grid manager repositoryt -- for use by the
# getcommand script, and the install scripts.  It takes one argument, the url
# to repository server.
#
# reqparam value Url to the server repository
#

. /etc/autobench.conf || . functions

if [ $# != 1 ]; then
  echo "Need the url to the server repository"
  exit 1
fi

echo "SERVER_REPO=\"$1\"" > $AUTODIR/var/server-repository
