<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><br><div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Neither viewvc, nor tug's web server, have any way to know<br></blockquote><div><br></div><div>thanks for the clarification.</div><div><br></div><div>I usually run Chromium. It seems I shouldn't rely too much on the browser from now on. :) </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Mar 19, 2019 at 7:02 PM Karl Berry <<a href="mailto:karl@freefriends.org" target="_blank">karl@freefriends.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Carlos,<br>
<br>
    In both instances - by using F5 (soft refresh) or Shift+F5 (hard refresh) -<br>
    while bringing up the web interface up to date, failed.<br>
<br>
I don't have your browser and don't really understand what you were<br>
doing, but nevertheless, I believe this all a function of what your<br>
browser (or system cache, or something) is doing. For instance, if I am<br>
on a viewvc url, say most recently,<br>
<a href="http://tug.org/svn/texlive/trunk/Master/texmf-dist/tex/generic/tex4ht/ooffice.4ht" rel="noreferrer" target="_blank">http://tug.org/svn/texlive/trunk/Master/texmf-dist/tex/generic/tex4ht/ooffice.4ht</a><br>
and make a commit to that file, and then hit "Reload" in my browser<br>
(seamonkey on centos in this case, though I surmise any normal Unixish<br>
browser would be the same), the change appears right away, as expected.<br>
<br>
Neither viewvc, nor tug's web server, have any way to know or care<br>
whether you are refreshing in an existing window or starting a new<br>
window. Only your system knows that. -k<br>
</blockquote></div>
</div></div>