From af4eb86fca1ebe57954064b653a16750790e2139 Mon Sep 17 00:00:00 2001
From: Jochen Sprickerhof <git@jochen.sprickerhof.de>
Date: Sat, 11 Apr 2020 23:53:37 +0200
Subject: [PATCH] Add sync to make sure buildserverid is written

---
 makebuildserver | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/makebuildserver b/makebuildserver
index 36999e45..64d53fbb 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -674,7 +674,8 @@ def main():
                          universal_newlines=True)
     buildserverid = p.communicate()[0].strip()
     logging.info("Writing buildserver ID ...ID is %s", buildserverid)
-    write_bsid_cmd = 'sh -c "echo \'{}\' >/home/vagrant/buildserverid"'.format(buildserverid)
+    # sync data before we halt() the machine, we had an empty buildserverid otherwise
+    write_bsid_cmd = 'sh -c "echo \'{}\' >/home/vagrant/buildserverid; sync"'.format(buildserverid)
     run_via_vagrant_ssh(v, write_bsid_cmd)
     logging.debug("+ {}".format(write_bsid_cmd))