Permit graceful cancellation of thread saving.

1 files changed, 4 insertions, 0 deletions

diff --git a/telem.lua b/telem.lua
index 5a99e87..9b81881 100755
--- a/telem.lua
+++ b/telem.lua
@@ -440,6 +440,10 @@ end
 function do_type_save()
 	io.write("Save thread to file: ")
 	local filename = io.read()
+	if string.len(filename) == 0 then
+		print("Saving cancelled.")
+		return
+	end
 	local ret, err = do_type_savefile(filename)
 	if ret == nil then print(err) end
 end