#!/bin/tcsh

cd $0:h

if ($1 == inner) then
    killall -q micro_proxy

    limit coredumpsize unlimited
    # The default limit for file descriptors is not sufficient for normal
    # production use.  Typically /etc/rc.d/rc.phil will raise the hard limit
    # for the descriptors, switch users, then start this script.
    limit descriptors 50000
    limit
    set printexitvalue=1
    
    while 1
        date
        ./micro_proxy -f ../config_common.txt \
            -i dump_unknown_commands=1 \
            -i listen_port=8840 \
            -i dump_all=0 \
            -i server_config=init.xml \
            -i server_patches=daisy_chain.xml \
            -i disable_user_info_check_for_messages=0 \
            < /dev/null >& output.txt
        sleep 1
    end

else
    ./$0:t inner < /dev/null >>& output.txt &
endif