diff options
author | Lumin Zhou <CDLuminate@users.noreply.github.com> | 2016-06-13 12:08:03 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-13 12:08:03 +0300 |
commit | d17fdc35deaf4c2d81b26ed024e54204d1852e7e (patch) | |
tree | 3bf60a314fa230f71a5f7662e3e8229fdc21288f | |
parent | f2d2f1ad40d5dc695d75c4ef2edd36142d319e49 (diff) |
init.lua: trivial enhancement on exit
-rw-r--r-- | init.lua | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -586,6 +586,7 @@ function repl() io.write('Do you really want to exit ([y]/n)? ') io.flush() local line = io.read('*l') if not line or line == '' or line:lower() == 'y' then + if not line then print('') end os.exit() end end |