diff options
Diffstat (limited to 'transaction-tip-states.dot')
-rw-r--r-- | transaction-tip-states.dot | 27 |
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; } |