names_to_numbers.rb: fix rename same-to-same
authorColin Patrick McCabe <cmccabe@alumni.cmu.edu>
Thu, 9 Feb 2012 04:20:19 +0000 (20:20 -0800)
committerColin Patrick McCabe <cmccabe@alumni.cmu.edu>
Thu, 9 Feb 2012 04:20:19 +0000 (20:20 -0800)
commit811a93986d1a051c550f2ec39f83c714ee7738ff
treef7f3f501499c312a9f416bac16e7ae8b594be919
parentd72e304aee9abd0352e4ddaa993eae64e9233d59
names_to_numbers.rb: fix rename same-to-same

Don't give an error when the source and destination file names happen to
be the same in our rename operation.  (This would occur if some of the
files were already named as we desire.)

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>
names_to_numbers.rb