diff options
Diffstat (limited to 'images/transaction-refresh-states.dot')
-rw-r--r-- | images/transaction-refresh-states.dot | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/images/transaction-refresh-states.dot b/images/transaction-refresh-states.dot new file mode 100644 index 00000000..4b67c88e --- /dev/null +++ b/images/transaction-refresh-states.dot @@ -0,0 +1,27 @@ +digraph G { + + initial[label="", shape="circle", xlabel="refresh"]; + pending[label="refresh"]; + //aborting[label="refresh", style=dashed]; + //aborted[style=dashed]; + done[label="done", shape="box"]; + + subgraph { + rank=same; + pending; + // aborting; + } + + subgraph { + rank=same; + done; + //aborted; + } + + initial->pending; + + //pending -> aborting [color=blue, style=dashed, label="abort"]; + //aborting->aborted; + + pending->done [color=green]; +} |