Changed rmexp to remove monitoring data and empty parent directories

CHANGES.txt

@@ -9,6 +9,12 @@ Release Changes
 Release 1.0.0
 =============
 
+Global
+------
+
+* Changed rmexp to remove empty parent directories
+* Changed rmexp to remove monitoring data
+
 Release 0.4.3
 =============
 

rmexp

@@ -32,7 +32,15 @@ ask_and_remove () {
         echo -n "$PROGRAM: remove ${EXP_ID}'s $label directory and its contents [no]? " >&2
         read answer
         case "$answer" in
-        y*|Y*) rm -r $dir && echo "$PROGRAM: removed '$dir'" >&2;;
+        y*|Y*)
+            rm -r "$dir" && echo "$PROGRAM: removed '$dir'" >&2
+            dir=`dirname "$dir"`
+            while rmdir "$dir" 2> /dev/null
+            do
+                echo "$PROGRAM: removed '$dir'" >&2
+                dir=`dirname "$dir"`
+            done
+            ;;
         esac
     fi
 }
@@ -42,3 +50,4 @@ ask_and_remove restart $RESTART_DIR
 ask_and_remove script $SCRIPT_DIR
 ask_and_remove log $LOG_DIR
 ask_and_remove data $DATA_DIR
+ask_and_remove monitoring $MON_DIR/$EXP_ID