Spaces:
Sleeping
Sleeping
File size: 1,525 Bytes
2554ae8 2182a6b ef09ab9 2554ae8 ef09ab9 2554ae8 2182a6b 2554ae8 2182a6b 2554ae8 2182a6b |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 |
import streamlit as st
from streamlit_js_eval import streamlit_js_eval
import uuid, io, sys, os
def get_user_id():
if "user_id" not in st.session_state:
query_params = st.query_params
user_id = query_params.get("user_id", None)
if not user_id:
user_id = str(uuid.uuid4())
st.query_params["user_id"] = user_id
st.session_state.user_id = user_id
return st.session_state.user_id
def get_credentials(use_own_creds: bool):
if use_own_creds:
HIVEMQ_USERNAME = st.text_input("HIVEMQ Username", type="password")
HIVEMQ_PASSWORD = st.text_input("HIVEMQ Password", type="password")
HIVEMQ_HOST = st.text_input("HIVEMQ Host", type="password")
DEVICE_ENDPOINT = st.text_input("Device ID", type="password")
PORT = st.number_input("Port", min_value=1, step=1, value=8883)
else:
HIVEMQ_USERNAME = os.environ.get("HIVEMQ_USERNAME")
HIVEMQ_PASSWORD = os.environ.get("HIVEMQ_PASSWORD")
HIVEMQ_HOST = os.environ.get("HIVEMQ_HOST")
DEVICE_ENDPOINT = os.environ.get("DEVICE_ID")
PORT = int(os.environ.get("PORT", 8883))
return HIVEMQ_USERNAME, HIVEMQ_PASSWORD, HIVEMQ_HOST, DEVICE_ENDPOINT, PORT
def render_log_window():
class StreamlitRedirector:
def write(self, message):
if message.strip():
st.write(message)
sys.stdout = StreamlitRedirector()
def refresh_once():
has_refreshed = st.query_params.get("has_refreshed", None)
if not has_refreshed:
st.query_params["has_refreshed"] = True
sys.stdout = sys.__stdout__
streamlit_js_eval(js_expressions="parent.window.location.reload()") |