weird transient (?) SVN problem

weird transient (?) SVN problem

[Per Bothner]

This is what is supposed to happen:

[bothner@toshie tmp]1263$ svn -q checkout svn://sourceware.org/svn/kawa/trunk kawa
[bothner@toshie tmp]1264$ cd kawa
[bothner@toshie kawa]1265$ grep writeTo **/ByteVector.java
     public void writeTo(OutputStream out)
         writeTo(0, size(), out);
     public void writeTo(int start, int count, OutputStream out)

However, three different Kawa testers reported problems
because they were getting an old version of ByteVector.java
(which was last updated 2016-08-14), which only has a single
overload of the writeto method (so grep returns a single line).

When I tried this myself half an hour ago, I too got the
bad (and inconsistent) version.  And then it fixed itself ...

Any idea what could have happened?
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/

Re: weird transient (?) SVN problem

[Per Bothner]

On 10/15/2016 03:14 PM, Per Bothner wrote:
> This is what is supposed to happen:
>
> [bothner@toshie tmp]1263$ svn -q checkout svn://sourceware.org/svn/kawa/trunk kawa
> [bothner@toshie tmp]1264$ cd kawa
> [bothner@toshie kawa]1265$ grep writeTo **/ByteVector.java
>     public void writeTo(OutputStream out)
>         writeTo(0, size(), out);
>     public void writeTo(int start, int count, OutputStream out)
>
> However, three different Kawa testers reported problems
> because they were getting an old version of ByteVector.java
> (which was last updated 2016-08-14), which only has a single
> overload of the writeto method (so grep returns a single line).
>
> When I tried this myself half an hour ago, I too got the
> bad (and inconsistent) version.  And then it fixed itself ...
>
> Any idea what could have happened?

Looks like a false alarm.  I'm still trying to figure out the details,
but it looks like some inconsistency between a generated file and its source template.
Sometimes the generated file was re-generated; sometimes not.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/