bug fix
authorMarc Fiuczynski <mef@cs.princeton.edu>
Thu, 26 May 2005 20:06:25 +0000 (20:06 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Thu, 26 May 2005 20:06:25 +0000 (20:06 +0000)
commit4887c7eb03d842dfdce438df49aa2baebae5db43
tree83ead8089929a47c4806c971624cbac4c7b19746
parentca44d24bb15507f4585d820aa4f01867a60e125f
bug fix
kernel/ckrm/ckrm_numtasks.c