adjust ++debug sleep time.
authorGengbin Zheng <gzheng@bp-login1.(none)>
Sat, 24 Apr 2010 05:59:03 +0000 (00:59 -0500)
committerGengbin Zheng <gzheng@bp-login1.(none)>
Sat, 24 Apr 2010 05:59:03 +0000 (00:59 -0500)
commit3295f686ae62b8c11589ce014f6c07927032e3c7
treebb9a25e08fe3a0c79f8676a50bbb465bc92c4674
parent72e2160764930acb193b40aa41e5dcd77637a728
adjust ++debug sleep time.
src/arch/lapi/machine.c