Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/trepl.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--init.lua1
1 files changed, 1 insertions, 0 deletions
diff --git a/init.lua b/init.lua
index 8255873..167843d 100644
--- a/init.lua
+++ b/init.lua
@@ -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