# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1522971148 -7200
# Node ID c519c778f2b267a364a01e4c07e90eee8fdd46c3
# Parent  41c959c5c84b57653fe9cf5e61737ab2411e480b
mod_ping: Ignore unused arguments [luacheck]

diff -r 41c959c5c84b -r c519c778f2b2 plugins/mod_ping.lua
--- a/plugins/mod_ping.lua	Sun Feb 04 01:51:25 2018 +0100
+++ b/plugins/mod_ping.lua	Fri Apr 06 01:32:28 2018 +0200
@@ -21,7 +21,7 @@
 
 local datetime = require "util.datetime".datetime;
 
-function ping_command_handler (self, data, state)
+function ping_command_handler (self, data, state) -- luacheck: ignore 212
 	local now = datetime();
 	return { info = "Pong\n"..now, status = "completed" };
 end