update random name

2026-10-14 13:21:41 +00:00 · 2018-11-21 20:47:15 +08:00
parent 333677877a
commit b478abcf5e
1 changed files with 2 additions and 1 deletions
@@ -614,7 +614,8 @@ function data_save(filename, M)
 			tmpname = tmpname .. '' ..rnd
 		end
 		local sub = (os.tmpname()):sub(-6, -1):gsub('[\\/:~]', '')
-		tmpname = tmpname .. sub
+		local ppid = os.getenv('PPID')
+		tmpname = tmpname .. sub .. (ppid and ppid or '')
 		fp = io.open(tmpname, 'w')
 	end
 	if fp == nil then