[Rock-dev] [rock] #230: autoproj: should not retry for non-network errors (was: autoproj v1.9.0.rc3 is retrying to switch a branch)

[rock]

#230: autoproj: should not retry for non-network errors
----------------------------+-----------------------------
 Reporter:  Alexander.Duda  |       Owner:  sylvain.joyeux
     Type:  enhancement     |      Status:  accepted
 Priority:  minor           |   Milestone:
Component:  base            |  Resolution:
 Keywords:                  |
----------------------------+-----------------------------
Changes (by sylvain.joyeux):

 * owner:  rock-dev-mailing-list => sylvain.joyeux
 * status:  new => accepted
 * type:  defect => enhancement


Comment:

 Autoproj/autobuild is dumb in its retrying: it currently does not try to
 check whether the error is a network error or a local error. Since git
 does not give us error codes that would allow to do that, it would not be
 trivial (and would not be trivial for the other importers as well).

-- 
Ticket URL: <https://rock.opendfki.de/ticket/230#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit