#!/bin/tcsh

# This is responsible for running the program and restarting it if it crashes.

# local_config.txt might say something like proxy_base_dir=jsproxy1

limit descriptors
limit coredumpsize unlimited
set printexitvalue=1
while (1)
    date
    ./js_proxy_server `if (-r local_config.txt) echo -f local_config.txt`
end