===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/ox_pari.c,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -p -r1.10 -r1.11
--- OpenXM/src/ox_pari/ox_pari.c	2015/08/20 08:56:30	1.10
+++ OpenXM/src/ox_pari/ox_pari.c	2015/08/21 00:53:53	1.11
@@ -1,4 +1,4 @@
-/*  $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.9 2015/08/20 07:45:12 noro Exp $  */
+/*  $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.10 2015/08/20 08:56:30 noro Exp $  */
 
 #include <stdio.h>
 #include <stdlib.h>
@@ -654,6 +654,9 @@ int receive_and_execute_sm_command()
     break;
   case SM_setMathCap:
     pop();
+    break;
+  case SM_shutdown:
+    exit(0);
     break;
   default:
     printf("receive_and_execute_sm_command : code=%d\n",code);fflush(stdout);