[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 sylvain.joyeux):

 Replying to [comment:4 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+$/

 Sounds fine to me, but I would check against \.log$

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