# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1536696075 -3600
# Node ID 168cc5aad63936912040e9f47de4a4bda3616a63
# Parent  96b81f84809a7db3c5e76b89886196e181a8397f
main: Throw scansion error on timeout, to avoid unnecessary traceback

diff -r 96b81f84809a -r 168cc5aad639 main.lua
--- a/main.lua	Tue Sep 11 21:00:50 2018 +0100
+++ b/main.lua	Tue Sep 11 21:01:15 2018 +0100
@@ -5,6 +5,8 @@
 local sleep = require "socket".sleep;
 
 local is_scansion_error = require "scansion.error".is;
+local new_error = require "scansion.error".new_error;
+
 local console_handlers = require "scansion.console".handlers;
 
 local result_log_filename = nil;
@@ -185,7 +187,8 @@
 				local action_number = i;
 				verse.add_task(action_timeout, function ()
 					if i == action_number then
-						error("Timeout waiting for response from server");
+						local e = new_error("action-timeout", { text = "Timeout waiting for response" });
+						error(e);
 					end
 				end);
 			end