diff options
author | Eric Wong <e@80x24.org> | 2020-01-01 09:57:53 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2020-01-02 02:15:51 +0000 |
commit | ef592197088078be53b73050ba5c1bee2728c090 (patch) | |
tree | 9ca0d48ea0f7d0aa98fac8afa25353ed9872332b /Documentation/txt2pre | |
parent | ad686f17b2a6fc6a0b89a2c1fa820a60b8f29ba0 (diff) | |
download | public-inbox-ef592197088078be53b73050ba5c1bee2728c090.tar.gz |
Otherwise our utime() change is overridden when the flush happens at exit.
Diffstat (limited to 'Documentation/txt2pre')
-rwxr-xr-x | Documentation/txt2pre | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/txt2pre b/Documentation/txt2pre index 7cab0fa2..cb6a7613 100755 --- a/Documentation/txt2pre +++ b/Documentation/txt2pre @@ -22,6 +22,7 @@ print '<html><head>', qq(<meta\nhttp-equiv="Content-Type"\ncontent="text/html; charset=utf-8"\n/>), "<title>$title</title>", "</head><body><pre>", $str , '</pre></body></html>'; +STDOUT->flush; # keep mtime on website consistent so clients can cache if (-f STDIN && -f STDOUT) { |