aboutsummaryrefslogtreecommitdiffstats
path: root/worker/specs
diff options
context:
space:
mode:
Diffstat (limited to 'worker/specs')
-rw-r--r--worker/specs2
1 files changed, 1 insertions, 1 deletions
diff --git a/worker/specs b/worker/specs
index 76baa272..0d1b7dd1 100644
--- a/worker/specs
+++ b/worker/specs
@@ -38,7 +38,7 @@ number.
/- by Python to display exceptions;
/- to print "ALIVE" when SIGUSR1 is received or after a "ping" request;
/- to print "UNKNOWN COMMAND" when a command is unknown;
-/- to print "INTERRUPTED" when a command is interrupted with SIGINT.
+/- to print "INTERRUPTED #X#" when a command is interrupted with SIGINT.
[statement(easy to prove wrong, hard to prove right)]
Requests