|
|
@@ -136,6 +136,7 @@ static void start_working(void)
|
|
|
cerr << "Starting work\n";
|
|
|
#endif
|
|
|
cout << "Subproblem " << wrkctrlstate.current_problem->problemid << "\n";
|
|
|
+ cout.flush();
|
|
|
wrkctrlstate.worker_thread_state = WT_RUNNING;
|
|
|
if (pthread_create(&wrkctrlstate.worker_thread, NULL,
|
|
|
worker_thread_start, NULL)) {
|