[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

1 files 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;