#!/bin/bash

. /usr/local/isa/scripts/bootstrapheader

java ReloadSettings $1 $2 $3 $4 $5 -ORBInitRef SettingsService=corbaloc::SettingsServer:42000/SettingsService
