[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:  enhancement     |     Status:  new
  Priority:  major           |  Component:  base
Resolution:                  |   Keywords:
-----------------------------+-----------------------------------
Changes (by Alexander.Duda):

 * type:  defect => enhancement


Comment:

 There is is no easy fix.

 The log file might be splitting because of its size:

 example:
 input
 rock-convert pose_estimator.0.log
 rock-convert pose_estimator.38.log

 output
 rock-convert pose_estimator.0.0.log
 rock-convert pose_estimator.0.1.log

 rock-convert pose_estimator.38.0.log
 rock-convert pose_estimator.38.1.log

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