aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--vl.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/vl.c b/vl.c
index 87ffb07002..a4430346e5 100644
--- a/vl.c
+++ b/vl.c
@@ -8182,7 +8182,7 @@ static int main_loop(void)
timeout = 0;
}
} else {
- timeout = 10;
+ timeout = 5000;
}
} else {
timeout = 0;
@@ -8192,7 +8192,7 @@ static int main_loop(void)
ret = EXCP_INTERRUPT;
break;
}
- timeout = 10;
+ timeout = 5000;
}
#ifdef CONFIG_PROFILER
ti = profile_getclock();