email if file in shellbox.d gets deleted

shellbox_from_db

@@ -5,7 +5,7 @@
 # a configuration file for the shellbox service.
 # Create/update /etc/shellbox.d/<port>.conf files
 #
-# $Id: shellbox_from_db,v 1.3 2014/05/22 07:22:35 kapeller Exp $
+# $Id: shellbox_from_db,v 1.4 2014/05/22 08:06:45 kapeller Exp $
 # $Source: /cvs/G/EPICS/App/scripts/shellbox_from_db,v $
 ###############################################################################
 #
@@ -80,6 +80,8 @@ rm $tmpfile
 cd $SHELLBOX_DIR
 for file in [0-9]*.conf; do
   if [ -e $file -a ! -e .$file ]; then
+    subject="SoftIOC $file on $hostname has been deleted"
+    mail -s "$subject" $DEFAULT_EMAIL < $file
     rm $file
   fi
 done