Pieter De Baets 0ea1ea5fb7 Remove unused websocket-executor-name and websocket-executor-port options
Reviewed By: davidaurelio

Differential Revision: D4745529

fbshipit-source-id: 2c69aca33c999ccf2af8dbf8d9af2c1d123b59cd
2017-03-22 05:38:04 -07:00
..
2017-02-24 07:00:16 -08:00
2016-11-18 05:13:31 -08:00
2016-09-06 02:43:40 -07:00