From 2d5337fdbf284facd8212ebc82ca35c6a643ba75 Mon Sep 17 00:00:00 2001
From: Martin Nowak <code@dawg.eu>
Date: Wed, 12 Feb 2014 23:00:27 +0100
Subject: [PATCH] don't plug the cord for halt

- Do a proper shutdown, or the filesystem cache
  might not have been written to disk.
---
 create_dmd_release/build_all.d | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/create_dmd_release/build_all.d b/create_dmd_release/build_all.d
index c6b12fb2..30e6b82e 100644
--- a/create_dmd_release/build_all.d
+++ b/create_dmd_release/build_all.d
@@ -75,7 +75,7 @@ struct Box
     void halt()
     {
         try
-            if (_isUp) run("cd "~_tmpdir~" && vagrant halt -f");
+            if (_isUp) run("cd "~_tmpdir~" && vagrant halt");
         finally
             _isUp = false;
     }