| import os | |
| import shutil | |
| from pathlib import Path | |
| INPUT_BROWSER_LIMIT = 380 | |
| CURRENT_DIR = Path(__file__).parent | |
| DEPLOYMENT_DIR = CURRENT_DIR / "deployment_files" | |
| KEYS_DIR = DEPLOYMENT_DIR / ".fhe_keys" | |
| CLIENT_DIR = DEPLOYMENT_DIR / "client_dir" | |
| SERVER_DIR = DEPLOYMENT_DIR / "server_dir" | |
| ALL_DIRS = [KEYS_DIR, CLIENT_DIR, SERVER_DIR] | |
| def clean_directory() -> None: | |
| """ | |
| Clear direcgtories | |
| """ | |
| print("Cleaning...\n") | |
| for target_dir in ALL_DIRS: | |
| if os.path.exists(target_dir) and os.path.isdir(target_dir): | |
| shutil.rmtree(target_dir) | |
| target_dir.mkdir(exist_ok=True, parents=True) | |