core/portmanager.lua
changeset 6666 d3023dd07cb6
parent 6552 46d7ede2e037
child 6689 c5b512cddda0
--- a/core/portmanager.lua	Wed May 06 19:17:59 2015 +0100
+++ b/core/portmanager.lua	Wed May 06 19:20:07 2015 +0100
@@ -41,7 +41,7 @@
 
 --- Private helpers
 
-local function error_to_friendly_message(service_name, port, err)
+local function error_to_friendly_message(service_name, port, err) --luacheck: ignore 212/service_name
 	local friendly_message = err;
 	if err:match(" in use") then
 		-- FIXME: Use service_name here