+6
-12
data/core/init.lua
+6
-12
data/core/init.lua
···
126
end
127
128
129
-
math.randomseed(system.get_time() * 1000)
130
-
131
-
local function uid()
132
-
return string.gsub("xxxxxx", ".", function()
133
-
local chars = "0123456789abcdefghijklmnopqrstuvwxyz"
134
-
local n = math.random(#chars)
135
-
return chars:sub(n, n)
136
-
end)
137
-
end
138
-
139
-
local temp_file_prefix = ".temp_" .. uid()
140
141
local function delete_temp_files()
142
for _, filename in ipairs(system.list_dir(EXEDIR)) do
···
147
end
148
149
function core.temp_filename(ext)
150
-
return EXEDIR .. PATHSEP .. temp_file_prefix .. uid() .. (ext or "")
151
end
152
153
···
126
end
127
128
129
+
local temp_uid = (system.get_time() * 1000) % 0xffffffff
130
+
local temp_file_prefix = string.format(".lite_temp_%08x", temp_uid)
131
+
local temp_file_counter = 0
132
133
local function delete_temp_files()
134
for _, filename in ipairs(system.list_dir(EXEDIR)) do
···
139
end
140
141
function core.temp_filename(ext)
142
+
temp_file_counter = temp_file_counter + 1
143
+
return EXEDIR .. PATHSEP .. temp_file_prefix
144
+
.. string.format("%06x", temp_file_counter) .. (ext or "")
145
end
146
147