mirror of
https://github.com/neovim/neovim.git
synced 2025-02-25 18:55:25 -06:00
core dumps: don't use pipe, it does not work
This commit is contained in:
parent
8540b5e4ad
commit
753d0091e8
@ -225,21 +225,8 @@ local function check_cores(app, force)
|
|||||||
local esigns = ('='):rep(len / 2)
|
local esigns = ('='):rep(len / 2)
|
||||||
out:write(('\n%s Core file %s %s\n'):format(esigns, core, esigns))
|
out:write(('\n%s Core file %s %s\n'):format(esigns, core, esigns))
|
||||||
out:flush()
|
out:flush()
|
||||||
local pipe = io.popen(
|
os.execute(db_cmd:gsub('%$_NVIM_TEST_APP', app):gsub('%$_NVIM_TEST_CORE', core) .. ' 2>&1')
|
||||||
db_cmd:gsub('%$_NVIM_TEST_APP', app):gsub('%$_NVIM_TEST_CORE', core)
|
out:write('\n')
|
||||||
.. ' 2>&1', 'r')
|
|
||||||
if pipe then
|
|
||||||
local bt = pipe:read('*a')
|
|
||||||
if bt then
|
|
||||||
out:write(bt)
|
|
||||||
out:write('\n')
|
|
||||||
else
|
|
||||||
out:write('Failed to read from the pipe\n')
|
|
||||||
end
|
|
||||||
else
|
|
||||||
out:write('Failed to create pipe\n')
|
|
||||||
end
|
|
||||||
out:flush()
|
|
||||||
found_cores = found_cores + 1
|
found_cores = found_cores + 1
|
||||||
os.remove(core)
|
os.remove(core)
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user