core/portmanager.lua
changeset 4789 bed0c6117358
parent 4786 ad6d4ab40b20
child 4800 7ce502f21270
--- a/core/portmanager.lua	Sat Apr 28 19:36:57 2012 +0100
+++ b/core/portmanager.lua	Sat Apr 28 19:38:51 2012 +0100
@@ -7,7 +7,7 @@
 
 local table, package = table, package;
 local setmetatable, rawset, rawget = setmetatable, rawset, rawget;
-local type = type;
+local type, tonumber = type, tonumber;
 
 local prosody = prosody;
 local fire_event = prosody.events.fire_event;