version 1.968, 2008/09/12 21:25:54
|
version 1.969, 2008/09/29 22:49:05
|
Line 8547 sub get_dns {
|
Line 8547 sub get_dns {
|
push(@{$name_to_host{$name}}, $id); |
push(@{$name_to_host{$name}}, $id); |
$hostdom{$id}=$domain; |
$hostdom{$id}=$domain; |
if ($role eq 'library') { $libserv{$id}=$name; } |
if ($role eq 'library') { $libserv{$id}=$name; } |
if ($protocol eq 'https') { |
if (defined($protocol)) { |
$protocol{$id} = $protocol; |
if ($protocol eq 'https') { |
|
$protocol{$id} = $protocol; |
|
} else { |
|
$protocol{$id} = 'http'; |
|
} |
} else { |
} else { |
$protocol{$id} = 'http'; |
$protocol{$id} = 'http'; |
} |
} |
} |
} |
} |
} |