From 3c142a61ab9b9eec20bdd44b062d421cf271168f Mon Sep 17 00:00:00 2001 From: rdb Date: Mon, 7 Feb 2022 11:10:32 +0100 Subject: [PATCH] makepanda: Properly detect keyboard interrupts on Windows --- makepanda/makepandacore.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/makepanda/makepandacore.py b/makepanda/makepandacore.py index e650ef019f..0b7225432e 100644 --- a/makepanda/makepandacore.py +++ b/makepanda/makepandacore.py @@ -635,6 +635,9 @@ def oscmd(cmd, ignoreError = False, cwd=None): res = os.spawnl(os.P_WAIT, exe_path, cmd) + if res == -1073741510: # 0xc000013a + exit("keyboard interrupt") + if cwd is not None: os.chdir(pwd) else: