Update app.py
Browse files
app.py
CHANGED
@@ -4,7 +4,6 @@ import hashlib
|
|
4 |
import os
|
5 |
import zipfile
|
6 |
from git import Repo
|
7 |
-
from streamlit.runtime.scriptrunner import RerunException
|
8 |
|
9 |
|
10 |
# Database setup
|
@@ -158,7 +157,7 @@ def workspace_page():
|
|
158 |
|
159 |
st.success(f"Project '{project_name}' uploaded successfully!")
|
160 |
# Trigger a rerun to update the dropdown
|
161 |
-
|
162 |
|
163 |
elif action == "Clone GitHub Repository":
|
164 |
st.subheader("Clone GitHub Repository")
|
@@ -173,7 +172,7 @@ def workspace_page():
|
|
173 |
Repo.clone_from(repo_url, project_folder)
|
174 |
st.success(f"Project '{project_name}' cloned successfully!")
|
175 |
# Trigger a rerun to update the dropdown
|
176 |
-
|
177 |
except Exception as e:
|
178 |
st.error(f"Failed to clone repository: {e}")
|
179 |
|
|
|
4 |
import os
|
5 |
import zipfile
|
6 |
from git import Repo
|
|
|
7 |
|
8 |
|
9 |
# Database setup
|
|
|
157 |
|
158 |
st.success(f"Project '{project_name}' uploaded successfully!")
|
159 |
# Trigger a rerun to update the dropdown
|
160 |
+
st.rerun()
|
161 |
|
162 |
elif action == "Clone GitHub Repository":
|
163 |
st.subheader("Clone GitHub Repository")
|
|
|
172 |
Repo.clone_from(repo_url, project_folder)
|
173 |
st.success(f"Project '{project_name}' cloned successfully!")
|
174 |
# Trigger a rerun to update the dropdown
|
175 |
+
st.rerun()
|
176 |
except Exception as e:
|
177 |
st.error(f"Failed to clone repository: {e}")
|
178 |
|