#!/bin/csh -f
# dirname extracts the directory that is prepended to the call
# to this shell script, such that we can find the directory 
# socketnr.
setenv DIR `dirname $0`/socketnr
setenv NUM `cat ${DIR}/robot1`
echo $NUM 10 + p | dc > ${DIR}/robot1
echo $NUM 11 + p | dc > ${DIR}/robot2
echo $NUM 12 + p | dc > ${DIR}/camera1
echo $NUM 13 + p | dc > ${DIR}/camera2
echo $NUM 14 + p | dc > ${DIR}/bemmel1
echo $NUM 15 + p | dc > ${DIR}/bemmel2
echo $NUM 16 + p | dc > ${DIR}/bemmel3
echo $NUM 17 + p | dc > ${DIR}/bemmel4
echo New socket numbers set.
