[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           |   Milestone:
Component:  base            |  Resolution:
 Keywords:                  |
----------------------------+------------------------------------

Comment (by Alexander.Duda):

 rock-convert is based on pocolog which currently does not support creating
 log files with specific names (only the base name can be set - the number
 is generated automatically).

 a solution would be to modify the method pocolog:file.rb:new_file to not
 generate a number if the base name matches /\.\d+$/

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