#! /bin/sh

micod -ORBIIOPAddr inet:localhost:8888 &
micod_pid=$!
sleep 1

trap "kill $micod_pid" 0

kformula.bin -ORBImplRepoAddr inet:localhost:8888 -ORBIIOPAddr inet:localhost:9999

