From 8869abefb80a72fe64c02cc906106c238ead63c9 Mon Sep 17 00:00:00 2001 From: Tobias Ulmer Date: Thu, 24 Nov 2016 16:08:44 +0100 Subject: [PATCH] cache: don't show push_permissions warning for dot server Signed-off-by: Tobias Ulmer --- generic/cache.lua | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/generic/cache.lua b/generic/cache.lua index ec30f10..e920942 100644 --- a/generic/cache.lua +++ b/generic/cache.lua @@ -132,7 +132,7 @@ function cache.setup_cache_local(c, project_root, project_location) servers = cache.server_names() rc, re = cache.new_cache_entry(c, servers.dot, - "file://" .. project_root, { writeback=true }, nil, nil) + "file://" .. project_root, { writeback=true, --[[no pp]] }, nil, nil) if not rc then return false, re end @@ -759,7 +759,9 @@ function cache.push_file(c, sourcefile, server, location, flags) return false, e:cat(re) end - if _pp_warn and not ce.flags.push_permissions then + if _pp_warn + and not ce.flags.push_permissions + and server ~= cache.server_names().dot then e2lib.warnf("WOTHER", "push_permissions for server %s not set, ".. "file permissions may be wrong", server) _pp_warn = false -- 2.39.5