diff options
| author | José Fonseca <jose.r.fonseca@gmail.com> | 2011-04-02 17:29:47 +0100 |
|---|---|---|
| committer | José Fonseca <jose.r.fonseca@gmail.com> | 2011-04-02 17:29:47 +0100 |
| commit | caad30f5d2759fa0b655ecf2e695a4a36b287f39 (patch) | |
| tree | e4fdb5835b1094e4e38caef2b5dd78bd04736bbe /glretrace.py | |
| parent | f2c40fb506bc14646903257e244d01d94e42a815 (diff) | |
Exit after dumping state.
Diffstat (limited to 'glretrace.py')
| -rw-r--r-- | glretrace.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/glretrace.py b/glretrace.py index b6d0f60..fd1460a 100644 --- a/glretrace.py +++ b/glretrace.py @@ -301,6 +301,7 @@ static void display(void) { if (call->no == __dump_state) { state_dump(std::cout); + exit(0); } if ((name[0] == 'w' && name[1] == 'g' && name[2] == 'l') || |