Re: [v8-users] chrome dev tool

2022-10-02 Thread theratliter theratliter 
Yes, it loads script sources on demand.But it will save url info in 
localstorage when we open it  in dev tool tab,  then the dev tool will load 
source code of url ahead of time at next time.

No is the name of my tool js runtime :-) .
在2022年10月2日星期日 UTC+8 19:19:57 写道：

> On Sun, Oct 2, 2022 at 11:48 AM theratliter theratliter
>  wrote:
> >
> > Hi, Ben. I think i misunderstand the dev tools. when i enter ctrl + p 
> and input a js file name, dev tools will emit Debugger.getScriptSource.
>
> Right. I don't know DevTools's code well enough to say for sure but I
> expect it loads script sources on demand, not eagerly.
>
> Some of the URLs look kind of funky, by the way. "No"?
>

-- 
-- 
v8-users mailing list
v8-users@googlegroups.com
http://groups.google.com/group/v8-users
--- 
You received this message because you are subscribed to the Google Groups 
"v8-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to v8-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/v8-users/321e1a54-0773-46cc-ac42-322a621d8367n%40googlegroups.com.

Re: [v8-users] chrome dev tool

2022-10-02 Thread Ben Noordhuis 
On Sun, Oct 2, 2022 at 11:48 AM theratliter theratliter
 wrote:
>
> Hi, Ben. I think i misunderstand the dev tools. when i enter ctrl + p and 
> input a js file name, dev tools will emit Debugger.getScriptSource.

Right. I don't know DevTools's code well enough to say for sure but I
expect it loads script sources on demand, not eagerly.

Some of the URLs look kind of funky, by the way. "No"?

-- 
-- 
v8-users mailing list
v8-users@googlegroups.com
http://groups.google.com/group/v8-users
--- 
You received this message because you are subscribed to the Google Groups 
"v8-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to v8-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/v8-users/CAHQurc-YVHc4v1f4txuu-WcT2JJvSvDXbzfPd%3D1_FANGBKmCpA%40mail.gmail.com.

Re: [v8-users] chrome dev tool

2022-10-02 Thread theratliter theratliter 
Hi, Ben. I think i misunderstand the dev tools. when i enter ctrl + p and 
input a js file name, dev tools will emit Debugger.getScriptSource. 

在2022年10月2日星期日 UTC+8 16:00:11 写道：

> It seems the page can not load the picture, please see here 
> .
>
> 在2022年10月2日星期日 UTC+8 15:54:17 写道：
>
>> Thanks for your help. This is the messages dev tool show. The problem is 
>> when the dev tools receive Debugger.scriptParsed message, it do not send a 
>> Debugger.getScriptSource message to my inspector server.
>> [image: WechatIMG865.png]
>>
>> 在2022年10月1日星期六 UTC+8 17:22:25 写道：
>>
>>> On Sat, Oct 1, 2022 at 1:14 AM theratliter theratliter 
>>>  wrote: 
>>> > 
>>> > Hi, i am trying to write an inspector server by V8 inspector APIs, but 
>>> chrome dev tool do not emit 'Debugger.getScriptSource' request to my 
>>> inspector server when dev tool get a 'Debugger.scriptParsed' push event. 
>>> Does anybody know know about this ? Thanks ! 
>>>
>>> Assuming you're using v8-inspector.h, not re-implementing the wire 
>>> protocol: you don't normally have to handle getScriptSource requests 
>>> yourself, V8 handles them for you. 
>>>
>>

-- 
-- 
v8-users mailing list
v8-users@googlegroups.com
http://groups.google.com/group/v8-users
--- 
You received this message because you are subscribed to the Google Groups 
"v8-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to v8-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/v8-users/eeec87e0-2b1e-493b-9233-a7c6e41b0eebn%40googlegroups.com.

Re: [v8-users] chrome dev tool

2022-10-02 Thread theratliter theratliter 
It seems the page can not load the picture, please see here 
.

在2022年10月2日星期日 UTC+8 15:54:17 写道：

> Thanks for your help. This is the messages dev tool show. The problem is 
> when the dev tools receive Debugger.scriptParsed message, it do not send a 
> Debugger.getScriptSource message to my inspector server.
> [image: WechatIMG865.png]
>
> 在2022年10月1日星期六 UTC+8 17:22:25 写道：
>
>> On Sat, Oct 1, 2022 at 1:14 AM theratliter theratliter 
>>  wrote: 
>> > 
>> > Hi, i am trying to write an inspector server by V8 inspector APIs, but 
>> chrome dev tool do not emit 'Debugger.getScriptSource' request to my 
>> inspector server when dev tool get a 'Debugger.scriptParsed' push event. 
>> Does anybody know know about this ? Thanks ! 
>>
>> Assuming you're using v8-inspector.h, not re-implementing the wire 
>> protocol: you don't normally have to handle getScriptSource requests 
>> yourself, V8 handles them for you. 
>>
>

-- 
-- 
v8-users mailing list
v8-users@googlegroups.com
http://groups.google.com/group/v8-users
--- 
You received this message because you are subscribed to the Google Groups 
"v8-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to v8-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/v8-users/1fe37ed0-3a98-416b-a68f-59b2825aac41n%40googlegroups.com.

Re: [v8-users] chrome dev tool

2022-10-01 Thread Ben Noordhuis 
On Sat, Oct 1, 2022 at 1:14 AM theratliter theratliter
 wrote:
>
> Hi, i am trying to write an inspector server by V8 inspector APIs, but chrome 
> dev tool do not emit 'Debugger.getScriptSource' request to my inspector 
> server when dev tool get a 'Debugger.scriptParsed' push event. Does anybody 
> know know about this ? Thanks !

Assuming you're using v8-inspector.h, not re-implementing the wire
protocol: you don't normally have to handle getScriptSource requests
yourself, V8 handles them for you.

-- 
-- 
v8-users mailing list
v8-users@googlegroups.com
http://groups.google.com/group/v8-users
--- 
You received this message because you are subscribed to the Google Groups 
"v8-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to v8-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/v8-users/CAHQurc-ziQdbuMFg7r4c7dmpRE-%2BgLrA0WxHZFB_aD7DWKHHvQ%40mail.gmail.com.