core/statsmanager.lua
changeset 6913 82765a4ec799
parent 6585 71b5de1d830b
child 7524 1c8b63fe6472
--- a/core/statsmanager.lua	Sat Oct 17 19:30:58 2015 +0200
+++ b/core/statsmanager.lua	Sun Oct 18 21:35:21 2015 +0100
@@ -66,4 +66,7 @@
 	get_stats = function ()
 		return latest_stats, changed_stats, stats_extra;
 	end;
+	get = function (name)
+		return latest_stats[name], stats_extra[name];
+	end;
 };