* wrap/python/spot.py: Check exit status also when timeout is used.

2015-10-22 12:11:59 +02:00 · 2015-10-22 12:11:59 +02:00 · b6c8a18dbc
commit b6c8a18dbc
parent 82ce722d42
1 changed files with 5 additions and 0 deletions
--- a/wrap/python/spot.py
+++ b/wrap/python/spot.py
@ -380,6 +380,11 @@ def automata(*sources, timeout=None):
                        # would just kill the shell, not its children.
                        os.killpg(proc.pid, signal.SIGKILL)
                        raise
+                    else:
+                        ret = proc.wait()
+                        if ret:
+                            raise subprocess.CalledProcessError(ret,
+                                                                filename[:-1])
                    finally:
                        proc = None
                    p = automaton_stream_parser(out, filename, True)