Theia: [plugin] support multiple remote connection of plugins

[ensorrow]

Is there any plan to fix this problem recently?

Plugins will be quite useless without this feature...

[akosyakov]

@ensorrow Could you have a look?

[akosyakov]

So does it mean that plugins only work for last page? @benoitf

[ensorrow]

So does it mean that plugins only work for last page? @benoitf

Yes, that's the problem. Only the last client can receive the message from server.

[akosyakov]

Yes, just verified that it is broken.

[akosyakov]

Right now the backend always run one plugin host process. It won't work for multiple clients since each client should have own context (opened dirty editors and so on). It's quite mind boggling to refactor to give each client its own plugin host process (especially on Friday afternoon), will see what can be done next week :)

[benoitf]

akosyakov : So does it mean that plugins only work for last page? @benoitf

yes, I think there is an open issue but I'm not finding it :-/

[ensorrow]

Hope you can close the issue this week😉.That’s the only problem we are facing now on developing a Theia based IDE.Theia is awesome.

[ensorrow]

Awesome!!!

[svenefftinge]

Reopening as it is not merged, yet.