Send DONE message before disconnecting

Fixes Gecode#149.
StefanBruens · May 1, 2022 · 21a7e3d · 21a7e3d
1 parent 6b09bea
commit 21a7e3d
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();
   }