Defer timer initialization until after commandline processing.

diff --git a/vl.c b/vl.c
index 6787332ba7223bee3694b4cd3e45a5a7a79e2004..042e12180f88c4c163e933a1eaab371e51b019a1 100644 (file)
--- a/vl.c
+++ b/vl.c
@@ -5635,8 +5635,6 @@ int main(int argc, char **argv)
         }
     }
 #endif
-    init_timers();
-    init_timer_alarm();
 
     register_machines();
     machine = first_machine;
@@ -6046,6 +6044,9 @@ int main(int argc, char **argv)
 
     setvbuf(stdout, NULL, _IOLBF, 0);
     
+    init_timers();
+    init_timer_alarm();
+
 #ifdef _WIN32
     socket_init();
 #endif