From c24e0753fc240636b2f9b1889554649e67c9046c Mon Sep 17 00:00:00 2001
From: sapier <Sapier at GMX dot net>
Date: Tue, 12 Aug 2014 23:07:27 +0200
Subject: Mod profiling support

Config settings:
profiling = true/false (gather statistics)
detailed_profiling = true/false (break mod times to callbacks)

Chat commands:
save_mod_profile saves current statistics in debug.txt and shows on console (on default loglevel)
---
 minetest.conf.example | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'minetest.conf.example')

diff --git a/minetest.conf.example b/minetest.conf.example
index 24724ce28..78f51a517 100644
--- a/minetest.conf.example
+++ b/minetest.conf.example
@@ -306,6 +306,11 @@
 #    "error"  = abort on usage of deprecated call (suggested for mod developers)
 #deprecated_lua_api_handling = legacy
 
+# Mod profiler
+#mod_profiling = false
+# Detailed mod profile data
+#detailed_profiling = false
+
 # Profiler data print interval. #0 = disable.
 #profiler_print_interval = 0
 #enable_mapgen_debug_info = false
-- 
cgit v1.2.3