KJ commited on
Commit ·
432e03d
1
Parent(s): 7ea91b8
port to be int
Browse files
app.py
CHANGED
|
@@ -44,7 +44,7 @@ LOCAL_BIND_HOST = st.secrets["LOCAL_BIND_HOST"]
|
|
| 44 |
MYSQL_USER = st.secrets["MYSQL_USER"]
|
| 45 |
MYSQL_PASSWORD = st.secrets["MYSQL_PASSWORD"]
|
| 46 |
MYSQL_DB = st.secrets["DB_NAME"]
|
| 47 |
-
MYSQL_PORT = st.secrets["MYSQL_PORT"]
|
| 48 |
|
| 49 |
# Write SSH key to temp file
|
| 50 |
with open("/tmp/ssh_key.pem", "w") as f:
|
|
|
|
| 44 |
MYSQL_USER = st.secrets["MYSQL_USER"]
|
| 45 |
MYSQL_PASSWORD = st.secrets["MYSQL_PASSWORD"]
|
| 46 |
MYSQL_DB = st.secrets["DB_NAME"]
|
| 47 |
+
MYSQL_PORT = int(st.secrets["MYSQL_PORT"])
|
| 48 |
|
| 49 |
# Write SSH key to temp file
|
| 50 |
with open("/tmp/ssh_key.pem", "w") as f:
|