changeset 2070:63b4f5ae5fc6 default tip

ignore .well-known
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 04 Dec 2025 12:42:07 -0700
parents 528d6b6b2aea
children
files src/luan/modules/host/Hosting.luan
diffstat 1 files changed, 6 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/host/Hosting.luan	Mon Dec 01 06:46:35 2025 -0700
+++ b/src/luan/modules/host/Hosting.luan	Thu Dec 04 12:42:07 2025 -0700
@@ -17,9 +17,12 @@
 
 local Hosting = {}
 
-local ignore = {
+local ignore_here = {
 	[".DS_Store"] = true
 }
+local ignore_there = {
+	[".well-known"] = true
+}
 
 function Hosting.push(domain,password,dir)
 	local my_dir = Io.uri("file:"..dir)
@@ -47,13 +50,13 @@
 			end
 			for _, here_child in ipairs(here.children()) do
 				local name = here_child.name()
-				if ignore[name] == nil then
+				if ignore_here[name] == nil then
 					process(there,there.children[name],here_child)
 					there.children[name] = nil
 				end
 			end
 			for _, there_child in pairs(there.children) do
-				if host.delete_unused(domain,password,there_child.path) then
+				if ignore_there[there_child.name]==nil and host.delete_unused(domain,password,there_child.path) then
 					print("deleted "..here.to_string().."/"..there_child.name)
 				end
 			end