Added hotfix for SVN server problems.
Merge branch 'master' into detailed_log