It seems that script does not send custom headers for HTTPS but it works for HTTP. For example, I tried below script
HTTPS
setHeader hdr1: 123
navigate https://google.com
Result : http://www.webpagetest.org/result/141111_S5_TGC/
Note that hdr1 was not sent to the server in above test.
HTTP
setHeader hdr1: 123
navigate https://google.com
Result : http://www.webpagetest.org/result/141111_0D_TKE/
Note that hdr1 was sent to the server in above test.
Any suggestion on how to send custom headers using script to HTTPS domains?
Thanks