From 91bb678ec3e0d9f36b8ebefe89888325505ef82d Mon Sep 17 00:00:00 2001 From: pcarrier Date: Sun, 28 Nov 2010 02:24:36 +0000 Subject: [worker] New specs to simplify queue handling - We always increment the request number when interrupted - We display the request number on stderr in case of interruption git-svn-id: svn+ssh://svn.fedorahosted.org/svn/sos/trunk@1052 ef72aa8b-4018-0410-8976-d6e080ef94d8 --- worker/specs | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/worker/specs b/worker/specs index f6f22a1c..76baa272 100644 --- a/worker/specs +++ b/worker/specs @@ -29,16 +29,10 @@ WORK IN PROGRESS /No timeout handling should be implemented in gatherer. [statement] -SIGINT should be handled and: -- stop the current request, write INTERRUPTED to stderr then continue the normal - flow of execution when a request is being handled, -/- be treated as an 'exit' request is a command was being read -[test_ctrl_on_cmd_prompt_quits, test_ctrl_when_entering_command_quits] -/- be treated as a 'reset' if a command was already read, but the request is -/ still being read. The current request should be dropped and a new request -/ should be read, the request counter is not incremented as no request was -/ processed. -[test_ctrlc_on_readparms_drops] +SIGINT should stop the current request parsing or execution, +write '#X# INTERRUPTED' to stderr where X is the number of the request, +then continue the normal flow of execution including incrementing the request +number. /stderr is only used: /- by Python to display exceptions; -- cgit