Changed ports in config/services.json

DeMaCS-UNICAL · Feb 4, 2024 · d909762 · d909762
1 parent 20c4683
commit d909762
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/config/services.json b/config/services.json
@@ -14,7 +14,7 @@
                             "name": "PythonESE",
                             "value": "PythonESE",
                             "path": "/",
-                            "port": 8080
+                            "port": 1443
                         }
                     ],
                     "options": [
@@ -36,7 +36,7 @@
                             "name": "PythonESE",
                             "value": "PythonESE",
                             "path": "/",
-                            "port": 8080
+                            "port": 1443
                         }
                     ],
                     "options": [
@@ -58,7 +58,7 @@
                             "name": "PythonESE",
                             "value": "PythonESE",
                             "path": "/",
-                            "port": 8080
+                            "port": 1443
                         }
                     ],
                     "options": [