changeset 1847:aa008b20d820 default tip

push fix
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 19 Feb 2025 14:38:04 -0700
parents 695a73e060a4
children
files src/luan/modules/host/Hosting.luan
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/host/Hosting.luan	Wed Feb 05 11:07:27 2025 -0700
+++ b/src/luan/modules/host/Hosting.luan	Wed Feb 19 14:38:04 2025 -0700
@@ -9,7 +9,6 @@
 local Rpc = require "luan:Rpc.luan"
 local String = require "luan:String.luan"
 local contains = String.contains or error()
-local starts_with = String.starts_with or error()
 local substring = String.sub or error()
 local split = String.split or error()
 local Logging = require "luan:logging/Logging.luan"
@@ -18,6 +17,10 @@
 
 local Hosting = {}
 
+local ignore = {
+	[".DS_Store"] = true
+}
+
 function Hosting.push(domain,password,dir)
 	local my_dir = Io.uri("file:"..dir)
 	my_dir.exists() or error("directory '"..dir.."' not found")
@@ -44,7 +47,7 @@
 			end
 			for _, here_child in ipairs(here.children()) do
 				local name = here_child.name()
-				if not starts_with(name,".") then
+				if ignore[name] == nil then
 					process(there,there.children[name],here_child)
 					there.children[name] = nil
 				end