allow setting the pusher host

assets/scripts/app/app.coffee

@@ -43,6 +43,7 @@ unless window.TravisApplication
       Travis.SshKey.adapter = Travis.SshKeyAdapter.create()
 
       @slider = new Travis.Slider()
+      @pusher = new Travis.Pusher(key: Travis.config.pusher_key, host: Travis.config.pusher_host) if Travis.config.pusher_key
       @pusher = new Travis.Pusher(Travis.config.pusher_key) if Travis.config.pusher_key
       @tailing = new Travis.Tailing($(window), '#tail', '#log')
       @toTop   = new Travis.ToTop($(window), '.to-top', '#log-container')

assets/scripts/app/pusher.coffee

@@ -10,9 +10,10 @@ $.extend Travis.Pusher,
 $.extend Travis.Pusher.prototype,
   active_channels: []
 
-  init: (key) ->
+  init: (config) ->
     Pusher.warn = @warn.bind(this)
-    @pusher = new Pusher(key, encrypted: Travis.Pusher.ENCRYPTED)
+    Pusher.host = config.host if config.host
+    @pusher = new Pusher(config.key, encrypted: Travis.Pusher.ENCRYPTED)
     @subscribeAll(Travis.Pusher.CHANNELS) if Travis.Pusher.CHANNELS
 
     @callbacksToProcess = []

assets/scripts/travis.coffee

@@ -79,6 +79,7 @@ $.extend Travis,
     syncingPageRedirectionTime: 5000
     api_endpoint: $('meta[rel="travis.api_endpoint"]').attr('href')
     pusher_key:   $('meta[name="travis.pusher_key"]').attr('value')
+    pusher_host:  $('meta[name="travis.pusher_host"]').attr('value')
     ga_code:      $('meta[name="travis.ga_code"]').attr('value')
     code_climate: $('meta[name="travis.code_climate"]').attr('value')
     ssh_key_enabled: $('meta[name="travis.ssh_key_enabled"]').attr('value') == 'true'

public/index.html

@@ -6,6 +6,7 @@
     <meta rel="travis.api_endpoint" href="https://api.travis-ci.org">
     <meta name="travis.ssh_key_enabled" value="false">
     <meta name="travis.pusher_key" value="5df8ac576dcccf4fd076">
+    <meta name="travis.pusher_host" value="ws.pusherapp.com">
     <meta name="travis.ga_code" value="UA-24868285-1">
     <meta name="travis.caches_enabled" value="false">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">