From 790728eb719d215714e129cf8e6bd837526225ab Mon Sep 17 00:00:00 2001
From: Azza Ahmed <a.e.ahmed@tudelft.nl>
Date: Thu, 20 Feb 2025 11:41:25 +0100
Subject: [PATCH] update port type in gurobi license information
---
content/en/tutorials/GurobiPy.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/content/en/tutorials/GurobiPy.md b/content/en/tutorials/GurobiPy.md
index 9684e6b..c32085a 100644
--- a/content/en/tutorials/GurobiPy.md
+++ b/content/en/tutorials/GurobiPy.md
@@ -69,7 +69,7 @@ import gurobipy as gp
connection_params = {
"TokenServer": "flexserv-x1.tudelft.nl",
- "TSPort": "27099"
+ "TSPort": 27099
}
with gp.Env(params=connection_params) as env:
--
GitLab