Make disable configurable between builtin/extra extensions

1 files changed, 0 insertions, 4 deletions

diff --git a/launch.py b/launch.py
index 1321b77a..c41ae82d 100644
--- a/launch.py
+++ b/launch.py
@@ -206,10 +206,6 @@ def list_extensions(settings_file):
         print(e, file=sys.stderr)

 

     disabled_extensions = set(settings.get('disabled_extensions', []))

-    disable_all_extensions = settings.get('disable_all_extensions', False)

-

-    if disable_all_extensions:

-        return []

 

     return [x for x in os.listdir(extensions_dir) if x not in disabled_extensions]