--- index/io.c.~1~	2004-06-08 13:07:38.000000000 -0400
+++ index/io.c	2005-02-18 06:23:40.000000000 -0500
@@ -6,6 +6,9 @@
 #include <sys/stat.h>
 #include <errno.h>
 #include <dlfcn.h>
+#include <signal.h>
+#include <sys/wait.h>
+
 extern char INDEX_DIR[MAX_LINE_LEN];
 extern int memory_usage;
 
@@ -332,6 +335,10 @@
 	   no user-supplied data goes in here. -- CV 9/14/99. */
 
 	ret = system(command);
+        if (WIFSIGNALED(ret) &&
+            (WTERMSIG(ret) == SIGINT || WTERMSIG(ret) == SIGQUIT))
+          exit(1);
+
     }
     return ret;
 }