A bit more rename old_input_file

diff --git a/backends/innduct.c b/backends/innduct.c
index 8b4b2859359150848e8cccd79a842ed1ddb38ba2..c9c4c599faf7a42793c65d460e18f57cc5bcf2e8 100644 (file)
--- a/backends/innduct.c
+++ b/backends/innduct.c
@@ -1465,7 +1465,7 @@ static void inputfile_tailing_stop(InputFile *ipf) {
      |          V                               V
      |     =============                     ============
      |      SEPARATED/                        DROPPING/
-     |      old->fd>=0                        old->fd>=0
+     |      flsh->fd>=0                       flsh->fd>=0
      |     [Separated]                       [Dropping]
      |      main F idle                       main none
      |      old  D tail                       old  D tail
@@ -1475,7 +1475,7 @@ static void inputfile_tailing_stop(InputFile *ipf) {
      |          V                                 V
      |     ===============                   ===============
      |      SEPARATED/                        DROPPING/
-     |      old->fd==-1                       old->fd==-1
+     |      flsh->fd==-1                      flsh->fd==-1
      |     [Finishing]                       [Dropping]
      |      main F tail                              main none
      |      old  D closed                     old  D closed