14.200 Writing header back to source

Prev Up Next Page 671 of 800 Search internet

Origin: lgc. Landing-place: terminal.

Lgc generates this progress message at verbosity level 3+ when it is about to write the reference of the emitted page back to the lgs source. This happens when the lgs source starts with the characters "";;. Writing the header back to the source has the benefit that if the source is translated a second time and has not been modified in the meantime then the result of the second translation is identical to the result of the first translation. Without the header, each new translation with get a new timestamp. With the header, a new translation will only get a new timestamp if the source has changed since last. In this context, changes of comments and formatting of whitespace in the lgs source does not count as changes.

Prev Up Next Page 671 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05