#!/bin/csh -f
onintr xjmp
if ( -f reload.txt ) then
	rm -f reload.txt
endif
xjmp:
echo 'reload_running_file' > reload.txt
onintr
