If the ID file doesn't exist, then don't delete it

2013-02-03 14:23:25 -08:00 · 2013-02-03 14:23:25 -08:00 · 2079941e7d
parent 01756dc964
commit 2079941e7d
1 changed files with 1 additions and 1 deletions
--- a/lib/vagrant/machine.rb
+++ b/lib/vagrant/machine.rb
@ -208,7 +208,7 @@ module Vagrant
        end
      else
        # Delete the file, since the machine is now destroyed
-        id_file.delete
+        id_file.delete if id_file.file?
      end

      # Store the ID locally