Use ao_delay to sleep for 2 seconds instead of trying ao_sleep

[fw/altos] / src / ao_cmd.c

diff --git a/src/ao_cmd.c b/src/ao_cmd.c
index b6d2b886e766be90fd2cf4054a51b1c158208bb0..4a68fba49d56110b252a2896bc8041478c111171 100644 (file)
--- a/src/ao_cmd.c
+++ b/src/ao_cmd.c
@@ -208,7 +208,7 @@ ao_reboot(void)
        if (!ao_match_word("eboot"))
                return;
        WDCTL = WDCTL_EN | WDCTL_MODE_WATCHDOG | WDCTL_INT_64;
-       ao_sleep(AO_SEC_TO_TICKS(2));
+       ao_delay(AO_SEC_TO_TICKS(2));
        ao_panic(AO_PANIC_REBOOT);
 }