diff options
author | 2021-05-23 17:33:52 +1000 | |
---|---|---|
committer | 2021-05-23 17:33:52 +1000 | |
commit | 5fe20586ee7aeb31c9384b82712c3ba37701cee4 (patch) | |
tree | 0aa7ecec0eca58391db4760a485a3db8b08f9213 /plugins/console/init.lua | |
parent | c6abdd77fbbdd4811dbb1c9cb954ee2e44678c33 (diff) |
srcclean for release
Diffstat (limited to 'plugins/console/init.lua')
-rw-r--r-- | plugins/console/init.lua | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/plugins/console/init.lua b/plugins/console/init.lua index 388a1ca016b..de8a5844a68 100644 --- a/plugins/console/init.lua +++ b/plugins/console/init.lua @@ -296,11 +296,11 @@ function console.startplugin() end setmetatable(console, { - __gc = function () - if history_fullpath then - local ln = require("linenoise") - ln.savehistory(history_fullpath) - end + __gc = function () + if history_fullpath then + local ln = require("linenoise") + ln.savehistory(history_fullpath) + end end}) return exports |