version 1.575, 2022/02/27 01:43:13
|
version 1.576, 2022/07/25 23:31:40
|
Line 865 sub PushFile {
|
Line 865 sub PushFile {
|
|
|
if($filename eq "host") { |
if($filename eq "host") { |
$contents = AdjustHostContents($contents); |
$contents = AdjustHostContents($contents); |
} elsif (($filename eq 'dns_host') || ($filename eq 'dns_domain') || |
} elsif (($filename eq 'dns_hosts') || ($filename eq 'dns_domain') || |
($filename eq 'loncapaCAcrl')) { |
($filename eq 'loncapaCAcrl')) { |
if ($contents eq '') { |
if ($contents eq '') { |
&logthis('<font color="red"> Pushfile: unable to install ' |
&logthis('<font color="red"> Pushfile: unable to install ' |