# if defined(GRAN) /* HWL */
/* Moved in here from ScheduleThreads, to handle a restart_main
(because of a signal) properly. */
for (i=0; i<RTSflags.GranFlags.proc; i++)
{
# if defined(GRAN) /* HWL */
/* Moved in here from ScheduleThreads, to handle a restart_main
(because of a signal) properly. */
for (i=0; i<RTSflags.GranFlags.proc; i++)
{