cp-profiler never sends "done" message

[StefanBruens]

Describe the bug

The profiler should send a "START" message, n "NODE" messages, and a "DONE" message. The START and NODE messages are send, but the DONE is omitted

To Reproduce

netcat -l 1234 > /tmp/cpprofiler.out
/usr/bin/minizinc --solver gecode --json-stream  01_sevenpaces/models/cuhkmelb.mzn  --cp-profiler -723467520,1234

gecode/gecode/search/cpprofiler/tracer.cpp

Lines 147 to 150 in 027c578

	void
	CPProfilerSearchTracer::done(void) {
	connector->disconnect();
	}

There is probably a connector->done() missing.

gecode/gecode/search/cpprofiler/connector.hpp

Lines 373 to 377 in fec7e9f

	inline void
	Connector::done() {
	marshalling.makeDone();
	sendOverSocket();
	}

Gecode and Platform Configuration

Gecode 6.3.0 branch (2022-04-30)

[zayenz]

Fixed by #214. The CPProfiler tracer now sends the DONE message before disconnecting.