forked from pool/gecode
Stefan Brüns
95d9da0e87
Disable set_version service OBS-URL: https://build.opensuse.org/request/show/978745 OBS-URL: https://build.opensuse.org/package/show/science/gecode?expand=0&rev=2
26 lines
691 B
Diff
26 lines
691 B
Diff
From 0da2a7c5c771b587789383e83062bfd4f28a8e4b Mon Sep 17 00:00:00 2001
|
|
From: =?UTF-8?q?Stefan=20Br=C3=BCns?= <stefan.bruens@rwth-aachen.de>
|
|
Date: Sun, 1 May 2022 00:02:04 +0200
|
|
Subject: [PATCH] Send DONE message before disconnecting
|
|
|
|
Fixes #149.
|
|
---
|
|
gecode/search/cpprofiler/tracer.cpp | 1 +
|
|
1 file changed, 1 insertion(+)
|
|
|
|
diff --git a/gecode/search/cpprofiler/tracer.cpp b/gecode/search/cpprofiler/tracer.cpp
|
|
index 32a67089..af0c709a 100644
|
|
--- 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();
|
|
}
|
|
|
|
--
|
|
2.36.0
|
|
|