From 5cb7511ed0e05d6ab4f3deaa0af67160f7a2dd5b Mon Sep 17 00:00:00 2001
From: Jurriaan Bremer <jbr@cuckoo.sh>
Date: Thu, 8 Mar 2018 22:45:40 +0100
Subject: [PATCH] use filename to include extension, for correct execution

---
 stuff/distributed/cluster-test.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stuff/distributed/cluster-test.py b/stuff/distributed/cluster-test.py
index a49a050e7..70d51ddcb 100644
--- a/stuff/distributed/cluster-test.py
+++ b/stuff/distributed/cluster-test.py
@@ -59,7 +59,7 @@ def main(host, port, script):
     tasks = {}
     for node, vmname in machines:
         r = requests.post("%s/api/task" % url, files={
-            "file": (script.name, script.source),
+            "file": (script.filename, script.source),
         }, data={
             "node": node,
             "machine": vmname,