As a side note, if you’re Access Gateway isn’t running on port 443 this won’t work properly…take my word for it.

http://support.citrix.com/article/CTX121355