#!/bin/sh

##### CHANGE IOSIM_PORT ########

if [ -f port ]; then
   port=`cat port`
else
   port=7012
fi

export IOSIM_SERVER=127.0.0.1
port=`expr $port + 1`
IOSIM_PORT=$port
export IOSIM_PORT
echo "$port" > port