Load session data from file
(user_id: str)
| 1065 | |
| 1066 | |
| 1067 | def load_session_data(user_id: str): |
| 1068 | """Load session data from file""" |
| 1069 | try: |
| 1070 | session_file = get_session_file_path(user_id) |
| 1071 | if os.path.exists(session_file): |
| 1072 | with open(session_file, 'r', encoding='utf-8') as f: |
| 1073 | return json.load(f) |
| 1074 | except Exception as e: |
| 1075 | logger.info(f'Failed to load session data: {e}') |
| 1076 | |
| 1077 | # Return default data |
| 1078 | return { |
| 1079 | 'workdir': '', |
| 1080 | 'result': '', |
| 1081 | 'markdown': '', |
| 1082 | 'resources': '', |
| 1083 | 'user_prompt': '', |
| 1084 | 'urls_text': '', |
| 1085 | 'timestamp': '' |
| 1086 | } |
| 1087 | |
| 1088 | |
| 1089 | def get_user_status_html(request: gr.Request) -> str: |
no test coverage detected