diff options
Diffstat (limited to 'transaction-tip-states.dot')
| -rw-r--r-- | transaction-tip-states.dot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/transaction-tip-states.dot b/transaction-tip-states.dot index a4625d89..4fef0a03 100644 --- a/transaction-tip-states.dot +++ b/transaction-tip-states.dot @@ -4,7 +4,7 @@ digraph G { pending_query[label="query"]; //aborting_query[label="query", style=dashed]; //aborted_query[label="aborted", style=dashed, shape=box]; - monolog_user[label="monolog(user)"]; + dialog_user[label="dialog(user)"]; pending_pickup[label="pickup"]; //aborting_pickup[label="pickup", style=dashed]; //aborted_pickup[label="aborted", style=dashed, shape=box]; @@ -12,7 +12,7 @@ digraph G { // subgraph { // rank=same; - // pending_query; monolog_user; + // pending_query; dialog_user; // } // subgraph { @@ -24,9 +24,9 @@ digraph G { initial -> pending_query; - monolog_user -> pending_pickup [color=blue, label="OK"]; + dialog_user -> pending_pickup [color=blue, label="OK"]; - pending_query -> monolog_user [color=green]; + pending_query -> dialog_user [color=green]; //pending_query -> aborting_query; //aborting_query -> aborted_query; |