use hashed directory for msgid dir

[etc/mailfilter.git] / bin / retrain

diff --git a/bin/retrain b/bin/retrain
index e7acbea8a15bb6176d491757088c0a8def6462b9..315d3294295c6936e03eb87ed1af070c756f3221 100755 (executable)
--- a/bin/retrain
+++ b/bin/retrain
@@ -54,6 +54,7 @@ if [ -n "$maildir" ]; then
   trap "rm -f $LOCKFILE" 1 2 3 4 5 6 7 8 10 11 12 13 14 15
   if ! lockfile -0 -r0 -l 3600 "$LOCKFILE" 2>/dev/null; then
     echo "E: another $ME process is already running over that Maildir." >&2
   trap "rm -f $LOCKFILE" 1 2 3 4 5 6 7 8 10 11 12 13 14 15
   if ! lockfile -0 -r0 -l 3600 "$LOCKFILE" 2>/dev/null; then
     echo "E: another $ME process is already running over that Maildir." >&2

+    trap - 0 1 2 3 4 5 6 7 8 10 11 12 13 14 15

     exit 1
   fi
 
     exit 1
   fi