From 94bf747c81e2418834a3545e73271522cffd8fc5 Mon Sep 17 00:00:00 2001 From: Jim Carciofini Date: Wed, 28 Feb 2024 11:16:18 -0600 Subject: [PATCH] Fix issue with bad pate commands. Should be more robust now. --- pate_binja/pate.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pate_binja/pate.py b/pate_binja/pate.py index d43bcea0..11638a56 100644 --- a/pate_binja/pate.py +++ b/pate_binja/pate.py @@ -75,7 +75,7 @@ def _run_live(self): # We use a helper script to run logic in the user's shell environment. script = os.path.join(os.path.dirname(os.path.abspath(__file__)), "run-pate.sh") # Need -l to make sure user's env is fully setup (e.g. access to docker and ghc tools). - with open(os.path.join(cwd, "lastrun.replay"), "w") as trace: + with open(os.path.join(cwd, "lastrun.replay"), "w", encoding='utf-8') as trace: with Popen(['/bin/bash', '-l', script, '-o', original, '-p', patched, '--json-toplevel'] + args, cwd=cwd, stdin=PIPE, stdout=PIPE,