diff options
author | Patrick Quist <partouf@gmail.com> | 2022-08-25 21:52:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-25 21:52:09 +0200 |
commit | 5b485d36e3708e192b63400d3bc30bb22cf33330 (patch) | |
tree | a6db770b803b7b6e82fa7224f331b38b7797f220 /lib/exec.js | |
parent | 098e0abc4dc870278f1ab4c060c420a5999b54b3 (diff) | |
parent | 16dca9d307220229b80327ea0998c4cecec9137b (diff) | |
download | compiler-explorer-gh-4023.tar.gz compiler-explorer-gh-4023.zip |
Merge branch 'main' into z88dkgh-4023
Diffstat (limited to 'lib/exec.js')
-rw-r--r-- | lib/exec.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/exec.js b/lib/exec.js index 63d65bb25..d7abd789f 100644 --- a/lib/exec.js +++ b/lib/exec.js @@ -286,6 +286,9 @@ function sandboxFirejail(command, args, options) { const sandboxDispatchTable = { none: (command, args, options) => { logger.info('Sandbox execution (sandbox disabled)', {command, args}); + if (needsWine(command)) { + return executeWineDirect(command, args, options); + } return executeDirect(command, args, options); }, nsjail: sandboxNsjail, |