X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=ab3a0b6d0ec30cf1eb710a1cc2e23b9d6aaea7c0;hb=2e02472cf15ddb64c33a1477cf4cfbf3be2d0c95;hp=b09a200a66bcf6f23215f3fcad058b9270e637fe;hpb=bc51900253384a031401ef7a68674e350dc8225f;p=pspp

diff --git a/src/main.c b/src/main.c
index b09a200a66..ab3a0b6d0e 100644
--- a/src/main.c
+++ b/src/main.c
@@ -14,8 +14,8 @@
 
    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA. */
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA. */
 
 #include <config.h>
 #include <stdio.h>
@@ -54,17 +54,26 @@ char curdate[12];
 /* If a segfault happens, issue a message to that effect and halt */
 void bug_handler(int sig);
 
+/* Handle quit/term/int signals */
+void interrupt_handler(int sig);
+
 /* Whether we're dropping down to interactive mode immediately because
    we hit end-of-file unexpectedly (or whatever). */
 int start_interactive;
 
 
+
+
+
+
 /* Program entry point. */
 int
 main (int argc, char **argv)
 {
+
   signal (SIGSEGV, bug_handler);
-  signal (SIGFPE, bug_handler);
+  signal (SIGFPE,  bug_handler);
+  signal (SIGINT,  interrupt_handler);
 
   gsl_set_error_handler_off();
 
@@ -199,3 +208,10 @@ bug_handler(int sig UNUSED)
       break;
     }
 }
+
+
+void 
+interrupt_handler(int sig UNUSED)
+{
+  err_hcf(0);
+}