-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rename HostedPluginServer, etc. #10352
Rename HostedPluginServer, etc. #10352
Conversation
Signed-off-by: Thomas Mäder <[email protected]>
Could use a changelog entry, since anyone relying on the current name will see breakage. |
@@ -240,7 +240,7 @@ export class JsonRpcProxyFactory<T extends object> implements ProxyHandler<T> { | |||
try { | |||
if (isNotify) { | |||
connection.sendNotification(method, ...args); | |||
resolve(); | |||
resolve(undefined); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Rather change line 239 to be new Promise<void>(...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No, the promise can yield a result if it's not a notification.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
OK I had not seen the code around it! Though is this required by TypeScript? It's often fine to just write resolve()
when nothing is returned, and resolve(undefined)
is usually a smell that the promise constructor is not aptly typed.
I'll get back to this one once I have time.... |
Signed-off-by: Thomas Mäder <[email protected]>
Ping @paul-marechal |
@@ -1,5 +1,5 @@ | |||
# Change Log | |||
|
|||
- [plugindev] Renamed HostedPlugin(Server|Client) to PluginDev(Server|Client) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I can fix it when I do the release changelog, but it should be in the form:
## v1.20.0 - 11/25/2021
[1.20.0 Milestone](https://github.com/eclipse-theia/theia/milestone/28)
<a name="breaking_changes_1.20.0">[Breaking Changes:](#breaking_changes_1.20.0)</a>
- [plugin] renamed `HostedPluginServer` and `HostedPluginServer` to `PluginDevServer` and `PluginDevClient` respectfully [#10352](https://github.com/eclipse-theia/theia/pull/10352)
Signed-off-by: Thomas Mäder [email protected]
What it does
Fixes: #10351
Renames
HostedPluginServer
and related symbols.How to test
Make sure running plugins from source in a second instance of Theia still works ("Hosted Plugin: Debug Instance", etc.)
Review checklist
Reminder for reviewers