util/startup.lua
changeset 12785 22066b02887f
parent 12783 f0474d40364c
child 12786 8815d3090928
--- a/util/startup.lua	Thu Oct 20 16:56:45 2022 +0200
+++ b/util/startup.lua	Wed Oct 19 16:25:05 2022 +0200
@@ -277,6 +277,20 @@
 	startup.detect_platform();
 	startup.detect_installed();
 	_G.prosody = prosody;
+
+	-- COMPAT Lua < 5.3
+	if not math.type then
+		-- luacheck: ignore 122/math
+		function math.type(n)
+			if type(n) == "number" then
+				if n % 1 == 0 and (n + 1 ~= n and n - 1 ~= n) then
+					return "integer"
+				else
+					return "float"
+				end
+			end
+		end
+	end
 end
 
 function startup.setup_datadir()