[Rock-dev] [rock] #115: rock-convert: wrong file names as output

[rock]

#115: rock-convert: wrong file names as output
---------------------------+-----------------------------------
Reporter:  sylvain.joyeux  |      Owner:  rock-dev-mailing-list
    Type:  defect          |     Status:  new
Priority:  major           |  Component:  base
Keywords:                  |
---------------------------+-----------------------------------
 The rock-convert tool wrongly adds a .index in the name of the file, i.e.


   rock-convert pose_estimator.0.log

 generates

   updated/pose_estimator.0.0.log

-- 
Ticket URL: <http://rock.opendfki.de/ticket/115>
rock <http://rock.opendfki.de>
rock: the robot construction kit