Permalink
Browse files

Add missing ignoreDefaultArgs launch option

  • Loading branch information...
zploskey committed Jun 8, 2018
1 parent b9977cb commit 8374023f5b838e8d8d5b2e7215af42b2d9df3a9e
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/Puppeteer.re
@@ -36,6 +36,7 @@ type launchOptions = {
"executablePath": Js.undefined(string),
"slowMo": Js.undefined(float),
"args": Js.undefined(array(string)),
"ignoreDefaultArgs": Js.undefined(bool),
"handleSIGINT": Js.undefined(bool),
"handleSIGTERM": Js.undefined(bool),
"handleSIGHUP": Js.undefined(bool),

0 comments on commit 8374023

Please sign in to comment.