# HG changeset patch # User Marco Cirillo # Date 1328748421 0 # Node ID 7df0d5c8abfdd155c5bb119cdb7a0cfe6c974746 # Parent 36b3ecebdc7e0785a52c732ec151c95c9f2c0a21 mod_register_json: punctuation adjust diff -r 36b3ecebdc7e -r 7df0d5c8abfd mod_register_json/mod_register_json.lua --- a/mod_register_json/mod_register_json.lua Thu Feb 09 00:44:46 2012 +0000 +++ b/mod_register_json/mod_register_json.lua Thu Feb 09 00:47:01 2012 +0000 @@ -122,7 +122,7 @@ end -- if there are no handlers left clean and close the socket, doesn't work with server_event - local event = require "core.configmanager".get("*", "core", "use_libevent"); + local event = require "core.configmanager".get("*", "core", "use_libevent") if not event then for _, options in ipairs(ports) do