Consolidate genwrap.py and genenum.py into generate.py

[gldbg.git] / source / gldbg.cpp

diff --git a/source/gldbg.cpp b/source/gldbg.cpp
index d2ca85e6212b76cda3c1828e683e5462e122f9c0..d18ff51bba753b9c2ccbb97cb510d48169fa957a 100644 (file)
--- a/source/gldbg.cpp
+++ b/source/gldbg.cpp
@@ -66,9 +66,9 @@ void GlDbg::launch()
        close(fds[1]);
 }
        
-void GlDbg::quit()
+void GlDbg::quit(bool force)
 {
-       if(process.get_state()!=Process::INACTIVE)
+       if(!force && process.get_state()!=Process::INACTIVE)
                throw InvalidState("Program is still running");
        exit(0);
 }
@@ -135,6 +135,7 @@ void GlDbg::read_stream()
                                        break;
                                tracer.decode(data, len);
                                glstate.decode(data, len);
+                               profiler.decode(data, len);
                                buf_offset += size;
                        }
                        if(buf_offset>8192)