# File wfo/main.rb, line 127 def make_local_filename(recommended_basename, extname) if %r{/} =~ recommended_basename || recommended_basename = File.basename(recommended_basename) end if recommended_basename.empty? recommended_basename = "empty-filename" end tmp = "#{recommended_basename}#{extname}" if !WorkArea.has?(tmp) local_filename = tmp else n = 1 begin tmp = "#{recommended_basename}_#{n}#{extname}" n += 1 end while WorkArea.has?(tmp) local_filename = tmp end local_filename end