From 2079941e7da8901850400bc63b71445c6f80161c Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Sun, 3 Feb 2013 14:23:25 -0800 Subject: [PATCH] If the ID file doesn't exist, then don't delete it --- lib/vagrant/machine.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/vagrant/machine.rb b/lib/vagrant/machine.rb index b64df747b..9d1416ef3 100644 --- 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