Hi Paavo, I suppose it would be quite easy to backport this fix to Jenkins if the commit(s) can be identified. Could you please file (or find) the corresponding issue in JIRA for Jenkins. And if possible, add the related information (commits sha, version, etc.). Even better would be that you would be able to propose a pull-request for that one.
Thanks 2013/3/15 Paavo Helde <[email protected]> > (Posted this in jenkinci-users a while ago, but there are no replies so > trying here as well.) > > We have had a long-term problem with svn+hudson, namely that if the svn > update step fails it sometimes lets the workspace locked, and the next > Hudson run noticed this and decided to wipe out the workspace and check out > a new one, which takes enormous amount of time and sometimes goes into > endless checkout-wipe cycles, depending on the mood of the corporate > intranet. > > This was recognized as a problem in Hudson and was fixed in Subversion > plugin version 2.3.3 (http://wiki.hudson-ci.org/** > display/HUDSON/Subversion+**Plugin<http://wiki.hudson-ci.org/display/HUDSON/Subversion+Plugin> > ). > > Now we have partially switched over to Jenkins instead of Hudson, but > recently we saw the dreaded message again: > > "Workspace appear to be locked, so getting a fresh workspace" > > Should we switch back to Hudson, or is it planned to fix this in Jenkins > as well? > > We have Jenkins ver. 1.496, Subversion plugin 1.45. > > TIA > Paavo > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > > -- > Baptiste <Batmat> MATHUS - http://batmat.net > Sauvez un arbre, > Mangez un castor ! nbsp;! -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
