[project @ 2001-07-26 03:20:52 by ken]

[project @ 2001-07-26 03:20:52 by ken]
Added to main():

   /*
    * Believe it or not, calling tzset() at startup seems to get rid of
    * a scheduler-related Heisenbug on alpha-dec-osf3.  The symptom of
    * the bug is that, when the load on the machine is high or when
    * there are many threads, the variable "Capability *cap" in the
    * function "schedule" in the file "Schedule.c" magically becomes
    * null before the line "t = cap->rCurrentTSO;".  Why, and why does
    * calling tzset() here seem to fix it?  Excellent questions!
    */
   tzset();