From 174c1b37532d542b66d33a5d5275901a5b65455a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Sat, 2 Apr 2011 17:29:47 +0100
Subject: [PATCH] Exit after dumping state.

---
 glretrace.py | 1 +
 1 file changed, 1 insertion(+)

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') ||
-- 
2.45.2