enable push stream client to use 443 as non ssl port to prevent caching that...

 enable push stream client to use 443 as non ssl port to prevent caching that occurs on some proxies on 80 port

misc/js/pushstream.js

@@ -314,7 +314,7 @@
     var useSSL = pushstream.useSSL;
     var url = (websocket) ? ((useSSL) ? "wss://" : "ws://") : ((useSSL) ? "https://" : "http://");
     url += pushstream.host;
-    url += ((pushstream.port != 80) && (pushstream.port != 443)) ? (":" + pushstream.port) : "";
+    url += ((!useSSL && pushstream.port == 80) || (useSSL && pushstream.port == 443)) ? "" : (":" + pushstream.port);
     url += prefix;
 
     var channels = getChannelsPath(pushstream.channels);