Merge pull request #138 from FlTr/path-exists-17

path valid if error code 17 by os.rename
skywind3000 · May 5, 2021 · a3d4f5d · a3d4f5d
2 parents 8210c56 + a991162
commit a3d4f5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/z.lua b/z.lua
@@ -580,7 +580,7 @@ function os.path.exists(name)
 	end
 	local ok, err, code = os.rename(name, name)
 	if not ok then
-		if code == 13 then
+		if code == 13 or code == 17 then
 			return true
 		elseif code == 30 then
 			local f = io.open(name,"r")