# File lib/rake/application.rb, line 273
273:     def truncate(string, width)
274:       if string.length <= width
275:         string
276:       else
277:         ( string[0, width-3] || "" ) + "..."
278:       end
279:     end