*/
if ( rts_n_waiting_tasks > 0) {
IF_DEBUG(scheduler,fprintf(stderr,
"scheduler: startTask: %d tasks waiting, not creating new one.\n",
rts_n_waiting_tasks););
*/
if ( rts_n_waiting_tasks > 0) {
IF_DEBUG(scheduler,fprintf(stderr,
"scheduler: startTask: %d tasks waiting, not creating new one.\n",
rts_n_waiting_tasks););