Without the local enqueuing option set, the master terminates too early.
Integrated in
ProB_TclTk_Linux #5311
(Revision 12813)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/worker.c
Integrated in
ProB_TclTk_Windows #130
(Revision 12813)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/worker.c
Integrated in
ProB_TclTk_Linux #5316
(Revision 12817)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
Integrated in
ProB_TclTk_Windows #132
(Revision 12817)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
Integrated in
ProB_TclTk_Linux_No_Parallel #12
(Revision 12817)
(Revision 12813)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
/trunk/prolog/extensions/zmq/worker.c