#/bin/csh

if ("$1" == "") then
  echo "uasge:setserver servername"
  exit
endif

foreach file (inner_???.iv toptest.iv)
    echo Set new Server in $file

sed  -e '/server/c\\
	server "'$1'"\
' $file >! inner.tmp
rm -f $file
mv inner.tmp $file
rm -f inner.tmp

end
