#
# Reconfig : force main program (and sons too) to reread the 
#            immediately the configuration file.
#            SIGINT is equal to 2.
#
#!/bin/sh
kill -SIGINT `cat jobtab.pid`
