Output elapsed time

diff --git a/base/main.cc b/base/main.cc
index 115fa095dfbf748cdbabfd5c471cfb4ef7489454..5a6d4f4193d2cba7d9104b3f1c7da2eaa31edeaa 100644 (file)
--- a/base/main.cc
+++ b/base/main.cc
@@ -277,6 +277,8 @@ int main()
                         p.tlog(p.findt());
                 }
         }
+        p.tend();
+        jvo["time"] = p.elapsed();
 #elif defined USE_PTHREAD
         bool gf = false;
         RRTNode *ron = nullptr;