PencilCode/pencilcode — pull request #99 by cbentzel (2014-11-17 14:58:00+00:00)
Title: Make the devserver use https rather than http.

This also uses --host-resolver-rules rather than the PAC script - which was only working because requests to the proxy looked like requests to the origin, but don't for CONNECT operations.