chiark
/
gitweb
/
~ian
/
innduct.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changelog: Finalise 2.2
[innduct.git]
/
README.states
diff --git
a/README.states
b/README.states
index 4676b30c77408d6fe5eaddf115fdf6643a16ce7f..01b0573e6ed93cde06024ef036364b43df3c5dfb 100644
(file)
--- a/
README.states
+++ b/
README.states
@@
-2,6
+2,9
@@
OVERALL STATES, defining interaction with innd:
OVERALL STATES, defining interaction with innd:
+ F refers to the main feed file as written by innd
+ D refers to the flushing file <feedfile>_flushing
+
START
|
,-->--. check F, D
START
|
,-->--. check F, D
@@
-177,3
+180,12
@@
We implement this as follows:
rune for printing diagrams:
a2ps -R -B -ops README.states
rune for printing diagrams:
a2ps -R -B -ops README.states
+
+
+
+# part of innduct
+# tailing reliable realtime streaming feeder for inn
+#
+# Copyright Ian Jackson <ijackson@chiark.greenend.org.uk>
+# and contributors; see LICENCE.txt.
+# SPDX-License-Identifier: GPL-3.0-or-later