diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/src/workspace/init.lua | 1 | ||||
| -rw-r--r-- | server/src/workspace/workspace.lua (renamed from server/src/workspace.lua) | 6 |
2 files changed, 5 insertions, 2 deletions
diff --git a/server/src/workspace/init.lua b/server/src/workspace/init.lua new file mode 100644 index 00000000..fa8bc6d9 --- /dev/null +++ b/server/src/workspace/init.lua @@ -0,0 +1 @@ +return require 'workspace.workspace' diff --git a/server/src/workspace.lua b/server/src/workspace/workspace.lua index fd6f9c04..6bd5c79e 100644 --- a/server/src/workspace.lua +++ b/server/src/workspace/workspace.lua @@ -122,8 +122,10 @@ function mt:scanFiles() for path in pairs(config.config.workspace.ignoreDir) do ignored[#ignored+1] = path end - for path in pairs(config.other.exclude) do - ignored[#ignored+1] = path + for path, ignore in pairs(config.other.exclude) do + if ignore then + ignored[#ignored+1] = path + end end if config.config.workspace.ignoreSubmodules then local buf = io.load(self.root / '.gitmodules') |