+ settings = $.extend(
+ {
+ 'protocol': document.location.protocol,
+ 'server': 'localhost'
+ },
+ options
+ );
+
+ domain = settings.protocol + '//';
+ domain += settings.server;
+ if (settings.protocol === 'http:' && settings.http_port)
+ domain += ':' + settings.http_port;
+ if (settings.protocol === 'https:' && settings.https_port)
+ domain += ':' + settings.https_port;