Univention Bugzilla – Attachment #7316: patch for bug #40070
protocol = 'https:';
port = '';
}
if (!port && window.location.port) {
// in case of access to https://host:1443/
protocol = window.location.protocol;
port = window.location.port;
if (port) {
port = ':' + port;