mirror of
https://github.com/FlightControl-Master/MOOSE.git
synced 2025-10-29 16:58:06 +00:00
improvements
This commit is contained in:
parent
6c98cf3a09
commit
6dcbbec087
@ -2117,8 +2117,10 @@ end
|
|||||||
function M.get_uri (source)
|
function M.get_uri (source)
|
||||||
-- search in cache
|
-- search in cache
|
||||||
if string.sub(1,1) ~= "@" then
|
if string.sub(1,1) ~= "@" then
|
||||||
|
source = source:lower()
|
||||||
source = source:match( "(.*\.lua)$")
|
source = source:match( "(.*\.lua)$")
|
||||||
if source then
|
if source then
|
||||||
|
source = source:match( "scripts/(.*)") or source
|
||||||
source = "@" .. source
|
source = "@" .. source
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
@ -3260,6 +3262,7 @@ local function line_hook(line)
|
|||||||
--ModifiedSource = ModifiedSource:match( '^Scripts/Moose/(.*)' ) or ModifiedSource
|
--ModifiedSource = ModifiedSource:match( '^Scripts/Moose/(.*)' ) or ModifiedSource
|
||||||
--ModifiedSource = ModifiedSource
|
--ModifiedSource = ModifiedSource
|
||||||
|
|
||||||
|
ser( "INFO", { source = ModifiedSource } )
|
||||||
local uri = platform.get_uri(ModifiedSource)
|
local uri = platform.get_uri(ModifiedSource)
|
||||||
ser( "INFO", {uri=uri} )
|
ser( "INFO", {uri=uri} )
|
||||||
if uri and uri ~= debugger_uri and uri ~= transportmodule_uri then -- the debugger does not break if the source is not known
|
if uri and uri ~= debugger_uri and uri ~= transportmodule_uri then -- the debugger does not break if the source is not known
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user