#!/bin/csh -f
echo "rl_$USER@`hostname`.txt"
onintr xjmp
if ( -f "rl_$USER@`hostname`.txt" ) then
	rm -f "rl_$USER@`hostname`.txt"
endif
xjmp:
echo 'reload_running_file' >! "rl_$USER@`hostname`.txt"
onintr
