no need to add one worker thread, let end user decide
authorjjenista <jjenista>
Tue, 9 Nov 2010 22:19:29 +0000 (22:19 +0000)
committerjjenista <jjenista>
Tue, 9 Nov 2010 22:19:29 +0000 (22:19 +0000)
commitbafeb90f638d1db5e9316b0f8afb156dd8397b0e
tree7480380dd7404e3b3d7bf6885da7e8dd247c2ff6
parent967b520c4398b69aa75bad75a52b6dacb8f0de72
no need to add one worker thread, let end user decide
Robust/src/Runtime/workschedule.c