Update Docker Compose files and docs

docker-compose.dev.yml

@@ -12,23 +12,20 @@ services:
     privileged: true
 
   db:
-    image: postgres:14.3
+    image: postgres:16.2
     env_file: judge0.conf
     volumes:
-      - postgres-data:/var/lib/postgresql/data/
+      - data:/var/lib/postgresql/data/
     restart: always
 
   redis:
-    image: redis:6.2.7
+    image: redis:6.2.14
     command: [
       "bash", "-c",
       'docker-entrypoint.sh --appendonly yes --requirepass "$$REDIS_PASSWORD"'
     ]
     env_file: judge0.conf
-    volumes:
-      - redis-data:/data
     restart: always
 
 volumes:
-  postgres-data:
-  redis-data:
+  data:

docker-compose.yml

@@ -26,25 +26,22 @@ services:
     restart: always
 
   db:
-    image: postgres:13.0
+    image: postgres:16.2
     env_file: judge0.conf
     volumes:
-      - postgres-data:/var/lib/postgresql/data/
+      - data:/var/lib/postgresql/data/
     <<: *default-logging
     restart: always
 
   redis:
-    image: redis:6.0
+    image: redis:6.2.14
     command: [
       "bash", "-c",
       'docker-entrypoint.sh --appendonly yes --requirepass "$$REDIS_PASSWORD"'
     ]
     env_file: judge0.conf
-    volumes:
-      - redis-data:/data
     <<: *default-logging
     restart: always
 
 volumes:
-  postgres-data:
-  redis-data:
+  data:

docs/api/hostname.html

@@ -1,21 +1,2 @@
-<script type="text/javascript">window.$crisp=[];window.CRISP_WEBSITE_ID="ee4621ff-c682-44ac-8cfa-1835beddb98a";(function(){d=document;s=d.createElement("script");s.src="https://client.crisp.chat/l.js";s.async=1;d.getElementsByTagName("head")[0].appendChild(s);})();</script>
-<script async src="https://www.googletagmanager.com/gtag/js?id=G-13MX7JLK0N"></script>
 <script type="text/javascript">
-    window.dataLayer = window.dataLayer || [];
-    function gtag() { dataLayer.push(arguments); }
-    gtag('js', new Date());
-    gtag('config', 'G-13MX7JLK0N');
-
-    document.addEventListener("DOMContentLoaded", function (event) {
-        var hostnames = document.body.getElementsByClassName("hostname");
-        for (var i = 0; i < hostnames.length; i++) {
-            hostnames[i].innerHTML = window.location.origin;
-        }
-
-        var host = document.body.getElementsByTagName("nav")[0].getElementsByTagName("p")[0].getElementsByTagName("a")[0];
-        host.innerHTML = window.location.origin;
-        host.href = window.location.origin;
-
-        gtag("event", "page_view", { page_path: `/?ref=${window.location.origin}` });
-    });
 </script>