Fix: shut down worker cleanly at end

So that workspace disk gets synced and unmounted cleanly. Otherwise we
lose data there.

1 files changed, 8 insertions, 0 deletions

diff --git a/funcs.py b/funcs.py
index 3c1c3c9..64bad4d 100644
--- a/funcs.py
+++ b/funcs.py
@@ -55,6 +55,14 @@ def create_file(ctx, filename=None):
         f.write(get_file(filename))
 
 
+# Check that a file exists.
+def file_exists(ctx, filename=None):
+    print(os.listdir())
+    print(os.listdir('ws'))
+    print(os.listdir('ws/src'))
+    assert_eq(os.path.exists(filename), True)
+
+
 # Copy a file from srcdir.
 def copy_file_from_srcdir(ctx, filename=None):
     shutil.copy(os.path.join(srcdir, './' + filename), '.')