Exit after dumping state.

diff --git a/glretrace.py b/glretrace.py
index b6d0f60..fd1460a 100644 (file)
--- 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') ||