feat: allow not set SIGINT handler

Author: discord9

vm/src/stdlib/signal.rs

@@ -103,7 +103,9 @@ pub(crate) mod _signal {
             .clone()
             .get_attr("default_int_handler", vm)
             .expect("_signal does not have this attr?");
-        signal(libc::SIGINT, int_handler, vm).expect("Failed to set sigint handler");
+        if !vm.state.settings.no_sig_int {
+            signal(libc::SIGINT, int_handler, vm).expect("Failed to set sigint handler");
+        }
     }
 
     #[pyfunction]

vm/src/vm/setting.rs

@@ -16,6 +16,9 @@ pub struct Settings {
     /// -O optimization switch counter
     pub optimize: u8,
 
+    /// Not set SIGINT handler(i.e. for embedded mode)
+    pub no_sig_int: bool,
+
     /// -s
     pub no_user_site: bool,
 
@@ -85,6 +88,7 @@ impl Default for Settings {
             inspect: false,
             interactive: false,
             optimize: 0,
+            no_sig_int: false,
             no_user_site: false,
             no_site: false,
             ignore_environment: false,