Alex "mcmonkey" Goodwin c695c4af7f Frontend Manager: avoid redundant gh calls for static versions (#5152) ...

* Frontend Manager: avoid redundant gh calls for static versions

* actually, removing old tmpdir isn't needed

I tested - downloader code handles this case well already
(also rmdir was wrong func anyway, needed shutil.rmtree if it had content)

* add code comment

2024-10-16 03:35:37 -04:00

..

__init__.py

Add FrontendManager to manage non-default front-end impl (#3897)

2024-07-16 11:26:11 -04:00

app_settings.py

Store user settings/data on the server and multi user support (#2160)

2024-01-08 17:06:44 -05:00

frontend_management.py

Frontend Manager: avoid redundant gh calls for static versions (#5152)

2024-10-16 03:35:37 -04:00

logger.py

Let --verbose have an argument for the log level.

2024-10-04 10:05:34 -04:00

user_manager.py

Add docstring

2024-09-20 03:16:23 -04:00