From 78fce650cc2ed78b53e7e9ddc43a2749583bcfc5 Mon Sep 17 00:00:00 2001
From: osaajani <>
Date: Tue, 6 Apr 2021 21:42:30 +0200
Subject: [PATCH] add env.descartes.php.dist

---
 env.descartes.php.dist | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 env.descartes.php.dist

diff --git a/env.descartes.php.dist b/env.descartes.php.dist
new file mode 100644
index 0000000..803c5cf
--- /dev/null
+++ b/env.descartes.php.dist
@@ -0,0 +1,21 @@
+<?php
+
+    $http_dir_path = '/raspisms'; //Path we need to put after servername in url to access app
+    $http_protocol = (isset($_SERVER['HTTPS']) ? 'https' : 'http') . '://';
+    $http_server_name = isset($_SERVER['SERVER_NAME']) ? $_SERVER['SERVER_NAME'] : 'localhost';
+    $https = $_SERVER['HTTPS'] ?? false;
+
+    if ( !isset($_SERVER['SERVER_PORT']) || ($_SERVER['SERVER_PORT'] == 80 && !$https) || ($_SERVER['SERVER_PORT'] == 443 && $https) )
+    {
+        $http_server_port = '';
+    }
+    else
+    {
+        $http_server_port = ':' . $_SERVER['SERVER_PORT'];
+    }
+
+    $http_pwd = $http_protocol . $http_server_name . $http_server_port . $http_dir_path;
+
+    $env = [
+        'HTTP_PWD' => $http_pwd,
+    ];