aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorpcarrier <pcarrier@ef72aa8b-4018-0410-8976-d6e080ef94d8>2010-11-28 02:24:36 +0000
committerpcarrier <pcarrier@ef72aa8b-4018-0410-8976-d6e080ef94d8>2010-11-28 02:24:36 +0000
commit91bb678ec3e0d9f36b8ebefe89888325505ef82d (patch)
tree230d0033d81b2924fc5efe13764be4d118e12817
parent73857eb2b106767ff8ba2b4bede011a0a8456769 (diff)
downloadsos-91bb678ec3e0d9f36b8ebefe89888325505ef82d.tar.gz
[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
-rw-r--r--worker/specs14
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;