Correct exitcode of KeyboardInterrupt

moreal · moreal · commit 24449611a779 · 2023-01-08T14:18:27.000+09:00
diff --git a/vm/src/vm/mod.rs b/vm/src/vm/mod.rs
@@ -757,6 +757,9 @@ impl VirtualMachine {
                 writeln!(stderr, "{msg}");
             }
             1
+        } else if cfg!(unix) && exc.fast_isinstance(self.ctx.exceptions.keyboard_interrupt) {
+            self.print_exception(exc);
+            (libc::SIGINT as u8) + 128u8
         } else {
             self.print_exception(exc);
             1

Original file line number	Diff line number	Diff line change
`@@ -757,6 +757,9 @@ impl VirtualMachine {`
`757`	`757`	`writeln!(stderr, "{msg}");`
`758`	`758`	`}`
`759`	`759`	`1`
	`760`	`+ } else if cfg!(unix) && exc.fast_isinstance(self.ctx.exceptions.keyboard_interrupt) {`
	`761`	`+ self.print_exception(exc);`
	`762`	`+ (libc::SIGINT as u8) + 128u8`
`760`	`763`	`} else {`
`761`	`764`	`self.print_exception(exc);`
`762`	`765`	`1`