diff options
Diffstat (limited to 'player/javascript/defaults.js')
-rw-r--r-- | player/javascript/defaults.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/player/javascript/defaults.js b/player/javascript/defaults.js index a44e9bb7b2..cc7fe04497 100644 --- a/player/javascript/defaults.js +++ b/player/javascript/defaults.js @@ -552,6 +552,11 @@ mp.utils.subprocess = function subprocess(t) { return rv; } +mp.utils.subprocess_detached = function subprocess_detached(t) { + return mp.commandv.apply(null, ["run"].concat(t.args)); +} + + // ----- dump: like print, but expands objects/arrays recursively ----- function replacer(k, v) { var t = typeof v; |