Restart on crash

2016-01-03 18:03:36 +01:00
parent 69f6f65db6
commit cd863c2819
6 changed files with 194 additions and 11 deletions
--- a/src/util/timer.h
+++ b/src/util/timer.h
@@ -69,4 +69,6 @@ struct timespec add_msec_to_timespec(struct timespec ts, int msec);
 // At the first call returns zero.
 double profiling_get_time();

+double get_time();
+
 #endif // TIMER_H