1573993 - Error: Module `devtools/server/main` is not found at resource://devtools/server/main.js base-loader.js:202:15

Status: RESOLVED FIXED

(Thunderbird :: General, defect)

Description

[:aceman]

In current trunk on Linux I get this in the Error console:
Error: Module devtools/server/main is not found at resource://devtools/server/main.js base-loader.js:202:15

I'm not sure if it causes any problems.
We import "devtools/server/main" at https://searchfox.org/comm-central/rev/b0bfd7596c6d6f0ef580ce2c9cd680b2e6ca0bf1/mail/components/devtools/devtools-loader.js#37

But indeed it seems devtools/server/main was renamed in m-c in bug 1572390:
https://hg.mozilla.org/mozilla-central/rev/1de02e2036122b7f33f7ec301f5729d549ba6fa7

Comment 1

[Jorg K (CEST = GMT+2)]

Attachment: 1573993-debugger-server.patch

See https://hg.mozilla.org/mozilla-central/rev/1de02e2036122b7f33f7ec301f5729d549ba6fa7#l1.11

You can land this if you want.

Comment 2

[Jorg K (CEST = GMT+2)]

Attachment: 1573993-debugger-server.patch

Oops, only one dash for the commit message.

Comment 3

[Geoff Lankow (:darktrojan)]

Comment on attachment 9085610 [details] [diff] [review]
1573993-debugger-server.patch

Review of attachment 9085610 [details] [diff] [review]:
-----------------------------------------------------------------

LGTM. I won't ship it as there's been no merge lately.

Comment 4

[:aceman]

Comment on attachment 9085610 [details] [diff] [review]
1573993-debugger-server.patch

Review of attachment 9085610 [details] [diff] [review]:
-----------------------------------------------------------------

Thanks, solves the error and fixes bug 1573988 :)

Comment 6

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/comm-central/rev/3fcb852ddff9
Port bug 1572390: Split main.js in debugger-server and debugger-server-connection. r=darktrojan DONTBUILD