fix: handle shortcuts by default if no WebPreferences object exists (#14766)

DevTools webcontents do not have webpreferences

Fixes #14685
This commit is contained in:
Samuel Attard 2018-09-28 01:41:09 +10:00 committed by GitHub
parent 0d2a0c7583
commit 6be69048e6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 581 additions and 43 deletions

17
tools/run-if-exists.js Normal file
View file

@ -0,0 +1,17 @@
const cp = require('child_process')
const fs = require('fs')
const checkPath = process.argv[2]
const command = process.argv.slice(3)
if (fs.existsSync(checkPath)) {
const child = cp.spawn(
`${command[0]}${process.platform === 'win32' ? '.cmd' :''}`,
command.slice(1),
{
stdio: 'inherit',
cwd: checkPath
}
)
child.on('exit', code => process.exit(code))
}