if (($pos = strpos($_SERVER['HTTP_HOST'], ':')) !== false)
{
$HTTP_HOST = $_SERVER['HTTP_HOST'] = substr($_SERVER['HTTP_HOST'],0,$pos);
}
$_SERVER["HTTPS"] = "On";
$_SERVER['SERVER_PORT'] = 443;
# df -hi
Filesystem Inodes IUsed IFree IUse% Mounted on
/dev/mapper/cl-root 40M 1.1M 39M 3% /
devtmpfs 221K 394 221K 1% /dev
tmpfs 224K 1 224K 1% /dev/shm
tmpfs 224K 200K 24K 90% /run
tmpfs 224K 16 224K 1% /sys/fs/cgroup
/dev/xvda1 64K 345 64K 1% /boot
tmpfs 224K 1 224K 1% /run/user/600
tmpfs 224K 1 224K 1% /run/user/1001
tmpfs 224K 1 224K 1% /run/user/0
tmpfs 224K 1 224K 1% /run/user/1000
overlay 40M 1.1M 39M 3% /var/lib/docker/overlay2/d0a0019739e0ac612231d29203d91f07548e89492105afb2d60eb889d81df3ff/merged
shm 224K 1 224K 1% /var/lib/docker/containers/240484373ad52c4e7db7cfea9302a37bb5c4b0e855ea7f02ee16750751fbe33a/mounts/shm
overlay 40M 1.1M 39M 3% /var/lib/docker/overlay2/70aec8465d1f3bde1ec875bd71e4a7ba884e3d008cd9afaf5279430c770efe96/merged
shm 224K 1 224K 1% /var/lib/docker/containers/8b17bb767a416113eb71b666a7415d7a255f6b00a5665062e7be7d49302951f0/mounts/shm