diff --git a/src/filters/rclsoff b/src/filters/rclsoff index 881f370a..2be0d784 100755 --- a/src/filters/rclsoff +++ b/src/filters/rclsoff @@ -1,5 +1,5 @@ #!/bin/sh -# @(#$Id: rclsoff,v 1.6 2006-04-04 16:03:28 dockes Exp $ (C) 2004 J.F.Dockes +# @(#$Id: rclsoff,v 1.7 2007-01-21 16:41:40 dockes Exp $ (C) 2004 J.F.Dockes # Parts taken from Estraier: #================================================================ # Estraier: a personal full-text search system @@ -81,7 +81,7 @@ cleanup() rmdir $tmpdir } -trap cleanup EXIT SIGHUP SIGQUIT SIGINT SIGTERM +trap cleanup EXIT HUP QUIT INT TERM # Unzip the input file and change to the unzipped directory unzip -q -d $tmpdir/rclsofftmp "$infile"