summaryrefslogtreecommitdiff
path: root/transaction-tip-states.dot
diff options
context:
space:
mode:
Diffstat (limited to 'transaction-tip-states.dot')
-rw-r--r--transaction-tip-states.dot27
1 files changed, 1 insertions, 26 deletions
diff --git a/transaction-tip-states.dot b/transaction-tip-states.dot
index 4fef0a03..476c8c74 100644
--- a/transaction-tip-states.dot
+++ b/transaction-tip-states.dot
@@ -1,36 +1,11 @@
digraph G {
-
initial[label="", shape="circle"];
- pending_query[label="query"];
- //aborting_query[label="query", style=dashed];
- //aborted_query[label="aborted", style=dashed, shape=box];
dialog_user[label="dialog(user)"];
pending_pickup[label="pickup"];
- //aborting_pickup[label="pickup", style=dashed];
- //aborted_pickup[label="aborted", style=dashed, shape=box];
done[label="done", shape="box"];
-
- // subgraph {
- // rank=same;
- // pending_query; dialog_user;
- // }
-
- // subgraph {
- // rank=same;
- // done;
- // //aborted_pickup; aborted_query;
- // }
- initial -> pending_query;
-
+ initial -> dialog_user;
dialog_user -> pending_pickup [color=blue, label="OK"];
-
- pending_query -> dialog_user [color=green];
- //pending_query -> aborting_query;
- //aborting_query -> aborted_query;
-
pending_pickup -> done [color=green];
- //pending_pickup -> aborting_pickup;
- //aborting_pickup -> aborted_pickup;
}