Send DONE message before disconnecting

Fixes Gecode#149.
StefanBruens · May 1, 2022 · 8ed4c74 · 8ed4c74
1 parent fec7e9f
commit 8ed4c74
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gecode/search/cpprofiler/tracer.cpp b/gecode/search/cpprofiler/tracer.cpp
@@ -146,6 +146,7 @@ namespace Gecode {
 
   void
   CPProfilerSearchTracer::done(void) {
+    connector->done();
     connector->disconnect();
   }