fixed bug in read batchsettings file name from command line
Authored by: skyebend 2007-09-19
Parent: [r118]
Child: [r120]