From d521978451e42924f6366eb8fce594c231cd6e0b Mon Sep 17 00:00:00 2001 From: Christian Schulte Date: Fri, 12 Apr 2019 14:13:25 +0200 Subject: [PATCH 1/3] Update LICENSE Try to mark it as MIT. --- LICENSE | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/LICENSE b/LICENSE index 46cf08363e..954bb89e55 100755 --- a/LICENSE +++ b/LICENSE @@ -1,10 +1,13 @@ - GECODE LICENSE AGREEMENT - -This software and its documentation are copyrighted by the +GECODE LICENSE AGREEMENT + + (MIT License) + +This software and its documentation are copyrighted by the individual authors as listed in each file. The following terms apply to all files associated with the software unless explicitly disclaimed in individual files. + Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including From 027c57889d66dd26ad8e1a419c2cda22ab0cf305 Mon Sep 17 00:00:00 2001 From: Christian Schulte Date: Fri, 12 Apr 2019 14:14:40 +0200 Subject: [PATCH 2/3] Update LICENSE Formatting. --- LICENSE | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/LICENSE b/LICENSE index 954bb89e55..5e5863dc39 100755 --- a/LICENSE +++ b/LICENSE @@ -1,13 +1,12 @@ -GECODE LICENSE AGREEMENT + GECODE LICENSE AGREEMENT - (MIT License) + (MIT License) This software and its documentation are copyrighted by the individual authors as listed in each file. The following terms apply to all files associated with the software unless explicitly disclaimed in individual files. - Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including From 8ed4c74b9936d1b9ddbcd5228174b6f834df8b5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20Br=C3=BCns?= Date: Sun, 1 May 2022 00:02:04 +0200 Subject: [PATCH 3/3] 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 32a67089fa..af0c709a91 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(); }